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 <' T|L ] ConcurrentIMP:threads=4elapsed=20.028cpu=45.504gc=2.364factor=2.277zXZִF! c]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#ǦxT}ܖCw̜sCY( w3JbiIzId`ԿK_mdw˗TY !j2<G0h?@"y9lOe6IgzbJ'Jĸ S¨rgFOaͲ Qw.0K[$'0߭4`x@JI. +ce7@ל"ݚWq%:YޔC^V+- UwBBsf'k2pլ`&NhXGG >UQtD]PwBS̺ bڕa q:]Ink2lB9 l+tI٫ʋU(|:yʈ /ݠpV̥\ / ZZ1V⦌)=j O2zŵ^V]Fg@JP7/ cs{^gWZθ/%DgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w&Sv/:|gX0P*>Efy"uMS lb0GډQBVS:9J+7Qi^s'¼`pǐ+[7&NP{\iqPyqZGg2UcgYZ7zXZִF! ^]ŗXi%GЛffDRd ōה)9A=7ǟBy}h$xYg= $H0{nIJ6>uӕ́}L:履t+m,PMК,0H:kiR*=Ex/{c QfFB>}Z3; V! *ݷ+M0H` eBo-о\U@5E&X%b_dfrnyH{M=1oWZa-7Xt fKa".v_fr4rlՑ)Ə+_םʯB'Mn) o&[KKhDֆ5&Ϫ)h‡哬=:;f'5T>n?DQju7\02_7iL8{[ƖRq13"M' wi]s.x)`>, bW> /nu 'SM<¢2=Bڲ[Tw[uسU,2̲_.֘,u>c.R(SRո] j>rV#^H+ cg=f>ex%CJlMҰI U*\aߚxw dl۵#Fߐ>I|Jc^8_Ci*|wbgggvߒށ*ZgtioI@uDQo&jjc޷ # _ԖMCm> H{,ytGt)GW'R;dpJ!jM*#_#9ٙ?yH/$o!cMwIvD#nPxd,s`Y8` !'.wN8gVcw^|>ΤNb(#pcZi}3>VH .SDJQf0y՗ ^$e}Pwdp4bbgi#wݦ|З!Kl`ӷӉ}=8S(r;.ݍiׂFT|ZG:g>o%' S#ӅfдY0w'a_-Դv siw# ½lۣ6 Pn*#&/ cv!;kª -*੫(l[I{)<׋:73X${ aLLקQ Pu uϨ`P'r1h֮htlVd؎cNI|Wa2΋.>,~TeiJy;`*PpLABXF-eҿI#[(o)MN{)X)}-}ʚ)PXD#)2|cŀ gRB}Ŵo7W tM<%?5Ŕ"W<2Qص~鉏c.߀CAb<,Jeӄq $X 1X[[N@yͩt ,'!,paGMSpE02 eaڔ A*#'t]@[h lRZE'b .tQ$R8u Qu4_b&(9wߎݼۈ a`*`tH2svf?G[kC5۶Am {xR3lIX