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 jj/ |D ] Laplace_Transform:threads=4elapsed=7.379cpu=28.440gc=0.384factor=3.857zXZִF! E9]ŗXf[& ny$d$Auc}a Lv~9G=RK"mGG cFZħIFxb3OGA]n@ls ڬ&j:V~Y>R&+&Ү*geݘm@W50aYV)zox8"c0GzzrOz##Ɉ]bY%Z>z O[1|^ ^>[Apfq5pl0*&=i9zߐEgi0lElV +Qv< n l{[U(^){d8 B-8JLʩ$Ikú"X󭆝`TlLݵ dWn<$+FoSDRAObEJODV 6 a-%X.|{$CJ[cį%Q9xu=Ry1;$k-D}%W1:+ ,Ri o;& ^,(Y^gYZ7zXZִF! ]ŗXiɟe9 V<_xt21 ~s-㌕O4h!עLgV7*i0_U̵, l1zWJ ea'HQ~/Ѕ}I@}Ic6vZW")bUj /_X Qf ҤgYZ7zXZִF! @]ŗXi%GЛuWju#%1o3Y"_K8e'*/kBs&ޒMxh !^}1Oc g/q'aՍۢlR!ܽ]jdB.[П.`U.;m>'ǬTҿӽ[L#`F щ@GjROIhKio:$.g/ s~VeK? 509[j A@C0xH&6ժEQycAT׺ox%y2]anYy4lc dSKyXhgrP~G2wS{ai&kdT쪆hM9#|- kOح*^kA{