SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   | |t ]% Topology:threads=2elapsed=7.506cpu=13.920gc=0.960factor=1.857zXZִF! ]ŗXf[&}H/29#rLhZ1l89&,H';bMVYIM7嚂~a -%j} ZT*,E(h8>O}"F삻@&י// %d DB਒Ű -;<}w~Ql$Yh-HMvCR {X\&\bzgqYJ6۟.C]"IJ\<Y6B3 -XK4}N0Q`Q)u gYZ7zXZִF! u]ŗXiɟqHhB"U΅/|{2͐v˦~k uH_ _ =Vf xw$NR%= \2-#E^ncw?#uqK4$lرgYZ7zXZִF! 2{s]ŗXi%>g Wag!֤""R+k\96.P#rv@~CbRCz1~iE|#ئqfOnz`B <8wrwO۬pxL9_VpZ!X0GlT외ͬv{ޱ.0Qw< I>=1=}\^{ߌ:kN rph2c P>.%'m3l5W%c^_[AHwTj@d &ͫ9YOOn>C L/(0R1pu2J ;7-Ïp@4J5G1nfT5rZR;'@ @M;&GjO|?KTҒ~16>soF}y+Pj.<j:I!dCQ(9RR;;ry櫷MSx%LwWť,Wc*e p@9Vg>T19$"I1Qnt1O}I{lFYlt6ӁytԲ%1A1ƔFH25)7r lh0t]W@0Pwc}DL]z _S0paP9r.KBCР!~~m4)^YYD.7T`PΤ