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  + $$ ] LightweightJava:threads=4elapsed=46.486cpu=91.608gc=2.588factor=1.977zXZִF! OwB]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы#/dM :.[z8 a5,!6u|&)A0O\2zM~\@0N2t8 U^yhik;aq%mÈMLL BDX<md}Ac=A ȶIMD.ic_†H?(Olx$e5EYTg,HmꄈD,ύìwf"r=vfȢCA09RJ9x ~K $P>Wk]3eA#7£!y60Gw`9*nx$T\8bt+mߔ1٦>b 8]/گewPTZ&طg}Y8( @NMb(ď‹/Y鰜 yf Q r_AcQ2#μoZI)c 2?^@Kxg|Jo ]s.v #n AP%Ax )M`E7xΙn)-U;bt9ו!I,7;D *gr(?OQd'7?]"67vc`UT^|@:iX~:H0y{43+ooLE+掂oȰ Ah_r<~ #V:4 d _O*I2'G"ZyԚ3Ұ)Lʦ9p7gyÁ@Ȍb|RXYI 5u~bFsY;50K UlȡuSp5uDze#8Uw3úո++~G?VWKcތf*e^517 t,YYΜKW&>v:%x[UDuj./}DxāMOd@aڬ7~e9Q7~T[{a[p47):mWB*6 X1KcȠ۞9hohMX¡CPk9(3*ױgYZ7zXZִF! C ]ŗXi%Eb⬞7fz],5m&J M}!D5%3Rݘ{oe7-"j^GqlfwB_PFs[>M3[RNPe8tr iqJ}$rR ϰ !yulwZC=\r874 Κk,V.RPqG{%hsD'b#||, J;Os=7 >KUJ{Oo e))ȍ. JTy2XĢp<Ûs#%vSp;ڹNHh0ÚN_ޙ졂`-t$zBʱT1EIpӮٚ;rB̦Y]-L׈NILCdNJԥͱQ_pR7|vߊjxW+{bܡ<knZYҌU׳LWM5k1& C~d-OH Fw=qN sPUH*?5bnH_,Qmm '' =qiLf-p^3J3`ɖ\PNMO>A`ZF[>X+pPIS%lr;VY׀O?ULAdbVɿ6,v6?B6^-[_QՎ9i^M1B T2SKWWkNU,MxQ L (o``hbѼ@"Lx3Hu20^bu^M1B`p]^3ߌb&S}n"[K QW\D[F9w92)!74nwt˚|0a|rd>&J`T9ER]{ooЁՁfd\~W[ lQOf*NH.3!lIWsV(W2[_-5 US䉀oޒp6Em9C dUiÚ{dVoK콘Ў6CCxlbѝH-!}!_Nc/s}{nCl"G4X ݍ4%yx͒Ɣr^|Zo,.iSfQq 5Z=kBSZ[/TC vBѡ{x5+@A D-/.t9/EQ j}&[ׅ *8IZDM֞!NyQ"}rx홟lyJ?>E?_`h|; 3e(am6Ҷ(6'e6#Ĥ״%ZGJ?܍ROXu{+ A{úӻH/STu@7ƳYCpY 7kūl4f@ĩ11j,ϗ>@wpO/_9n'up[ISf^455Z2@\@*$õ#?Gb`MЋ>2<^:EM1MRֺ u 7wU" p?Xj]]`)r4z+Eg-5Ό(~LnϏ@Ϊ4C*&˖6/ mT?TޟD1o=G,5&*ugnlVܶZ9Lt۞$EʨXrZ6oInu#rn][UTn%'Ρv|i?zƿF7m$o@!' N8f Xb~oVĜMOQV`}ȱ mH SE8NƄ {2ر 2j6sq|F^)P}v.B1|Kn(hGJu}/-R6HC>ݝɏ8 GSI\7s@ ZW ,L?A5-9Jr-[G[_t}O+0Z@чb9"K<"{ePĨTgYZ00a1503c587cea2eac8e613ce7ff4c45c1c1c6da87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110