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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #D$t ]S Pi_Calculus:threads=4elapsed=53.914cpu=174.844gc=4.736factor=3.247zXZ ִF ! C] ŗXf[&{ y-@SK8p}e#pаOF^tueBϮ1T}GX8X#l'n ʚ6P12B5oҎ+ԼwD.\Ӯެ~CPWHJ_i/҉3 f0fEM͕+kt4 As_X8幹HEj{)u[?8_XNUxC ͑6=_Wr$u۷iUm~o F_ZyS=^Wh-B{gwZ:ӹ ƌYuso)(8Ohl`l!gڭ ^o,u # Pi_Calculus O_H~VC8⠗9 IE#:߶F;QPk"'A`N擹Зf@3zIW=LL|bJ3|?Kb,jd59[&בM;&Hێmv_ !#/FLP0.*=4ͿZ]#"݀ ^S6<ήm~Ei²W͑gk;?1F88؛-d6@$s3@Kd*uh8ykhCqE"G7RPN6{sC8kb[xc819V̮f(<$æ}Rol9|O;>$kbF[*R]#m/[h "ZHKA c!C4x[ gIOgDؙqN\TsNc\%|*nެ{XU1L"Y=T*?t,gW,rkیoj'cͦ-XsE0jP<OFkݿpaeHZǿ_eTmcMWxMTJ7+XIPLRBLqmUe%f|-\oO?/34|H~H3E7(Gw.w=U8CdtQ"ҏ@zZ>Ξ+! Io=6Ԥɖ:t@1%{.ZBoS'ޝF { h{)UA .ۢ\<>d}P#I[]Ɠ9J,q{C*y˛_'#OPŐPD'R`?R`B^2p^R`nST۞ ^|5%LBw.32pծP2 b̏a:DN&R[| gz"tO.C`' Ijcu ps.vISOc48@֩O)5"VD/Dߚgx%9#7r¡{YD$?@q=F4xj'+R0^ GS7Z ˌݙ6MMFA}ֲ1V>d셐4 O/X4~]\ғQ,;Y.~mehO|t1"z2+[yfG$?DM= '4MjɾaVR o<).:t⚮ o6Ċ }lg YZ7zXZ ִF ! ] ŗXiɟ˄&1q9{!!'ֹ6q#}~bhC⢆ZA١ۇX CAĻC:]sCKVnt n{94( x H,G*̏Ox_$Et)z% !lBqa?racϷvB$ qtkc 9\fhABJk(b!gvHѓ"͒7z Yb cA^NUtK c,A]E/7\Ľ?) |aE0o.!)n,s8_"SNr7pi|Ldce,"wxS~=^YGiAj|d1t{|xቢ@>̯ճ9m-@