SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p/ T$ ] POPLmark-deBruijn:threads=4elapsed=12.972cpu=42.776gc=1.408factor=3.307zXZִF! ;]ŗXf[&J3MRag)-C Xʉc'~ W1w PAqo:EzCOiǖZr(D?e*ͯ\U-'uܴ|XL>1 7\C@;̌̈ fYǂ:: @NuLCoկ{ϥFU|N2OQkWk9 GYRBcFh>N[^QmGiqBKgNz(lI^W5q_rjS}`,5a|ͭ%|^"W \[M,|q)Xߥ&V:ʨgDHI ^ipZ.EE]ڛ؇̒#K3}p?!㻲ʠ󻍍tU|: ݵK"j yMvtOz_h1g.ĝ:Q[o¢])"ܮ{(CW#T+qǢ,$q *^JE4>% X"`Ly`[$4%$)mgYZ7zXZִF! ]ŗXiɟT{F moEhuFwmxD{v\9P3@9 '2N@gmG2[soq%e.)3?CA}GK"A^(z˺gbHIv⤧?CȍogYZ7zXZִF! d]ŗXi%ES3Wǀ4]\=͖eS.Z91W0|ڞeXH*w9]%66j4ڊOQYݖ<,p*%D5$6[aq˶Uʲۢe;bqcPkI}ߓ%ÕLtTy_!=bi@Z( &1 6NI=U|sJk(7GGkؽNj%W6ͽ*͙ JAAFיBUd)IwK G](A`ӗ3y\Qa~Mҙ@!n^aY%C(I!墫yt >KjK˹BvF4&.(}[`u_j܌4%^MzCm]00/_7ci,m aE5z|>c q03(c"DT4{IpәD\%Z-l[fÁD04ge-A.¾rx&3fFf9yR%f*H(&cnM1] \ Sm9v%Px5pPMi~w~p9Fo^TQ7!ծ:ͽ{h*G?~Faf?É.KvEI!)Z"*JT,9֚덉zKRQZ<$ =XSBKV|_yS"&u7 nl@Y=>Vk;Tg0ZQ<jx6Ja11—lFD<Άd%k!/Z]w]&A]}Za/QA D9zŨGM""̤hO];b6Q.3Q U:Y[