SQLite format 3@ .;  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 s5 DlL ] Priority_Queue_Braun:threads=4elapsed=18.457cpu=48.696gc=0.932factor=2.647zXZִF! []ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫voc( 1ebe{m|7ݨ~#{}vw[pp 5[MC] -Uc?h!%Ar^n#$_#CSԝTlWJm8C_:i _E{"_:(j?DYrJ{z0#mf>"N"vMsO3f8oyMt؈2 CfDwV*y$Q"C)VM t2X+i'ͪ!ǽz |X;hi7K:M kEIz -vHC=J`6ZX\a f^ q@}{;fQ'~<|eی.p2 ox"7 2[X^Nm=# tPOĴ l6OZ/k2_@@ҙoZm t堒*R\cъt,1ձgYZ7zXZִF! ]ŗXiɟ1]" M${np^PTܶemDb!م6~X'ގ$W~jVSvwM5386Ͽ~i 5e.")GTlD8؂_,"-CJoA~ƵƚJ^h$ZQgxwƱgYZ7zXZִF! ~]ŗXi%L 0 K9[Lq"&Wm@ {}ǥ"++8؅=0׭rsHR;0͆NIr:Ab !^o?eg4U6O&W9<€A[QD O>0tЈF.Dx׍ϊAB p8R8Jކy{~5 gjxXiDE5@s SH$IpijFXt`,nx'rzH5ac }L}tF ͥ=ɵWPʡByAPDigjy;*Cw "xxBvƒR闒;jjr*-wO鑴d~*㠫<@^G=59NfDX}|,;8'T,$ +[&P>+GyHGVrEˍC}άܴ[Ҙ]ì֌Ȉ4y AFbs8" j1:s(jU,>GBcYs-&Y5Xif;e_E K6F+:J|#Y ҁ=OU>~+>49Fuf˦CѠB8EOdm>%kَ?L{e$@F*.QM {z`j;r3x#J5 ݤL1>_[:ab qtO棉nd^Ȁ;~ klkI@A_eBcEnț 0uMXSpbd&.,*'E$oN-nX!ՐUbaxSFYV0GAQu;<~wye+mf"iq#P9P;Sjp*95Z$`߯1"qFE\}WTg*\&{e;[,H*LQLrB-̕X UZ,mgت,k<۠% 'B:Ąx_4 ncr01N|0c%!X 3Hp(r3G:I&*dMھuY#2iKI λB _igqƟ".ytȼ:c  qpKUy}h^ BˠL͂&!ї7KQlXʔAu* ]+҇7}~SyIkQ(0t4=Ho2iӴEKו{{l_7 -WރZLqTPj1 2b4'쀷1 "LM:^ىCZĒfyۻ]_1VUՅ[ #z۷sތC䴑%MEL0ULj :{G=dA/7AqC~?/| xEZQi;| "Ds]meI˦'Z?P]i1@h?&aMF#OQšdF ǧ"bGD's0 wV&y` U6NjDTJ~dM{zv\}eaU{0o-jofe_WDηqbCԸf