SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 @) $ ? HOL-TLA-Memory:threads=2elapsed=11.747cpu=21.476gc=0.576factor=1.837zXZִF! gD]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ Iqo٦,M2f1r_NYWCl[OB BH..fzq&BDe#g+*hk{^8z-x}}$魕iCe1 s>}~UN8;}zC(vaۣ,cu =;c6}}Iݢ23|ߐݐ]{߅ ض?ϊD^;d cp5@XձDv,~X<8\~|`%#\ı9(p-ȏ["(j_erK)Ҭ$MJoWH몙2PcW-<49P"`t.histTIKB'W1}'W(}ruo. ) HOL-TLA-Memory`>?>:QVa#fB\p6a\X~ FlhdZhUu#zytA/zR6+;6j 0Dz,1.?P.1J}'9=)q:*_nJŲmv󬡏.l7%^fk ^p,lµ@8@j;*Ǭjɝjr$@/wE &X{&Os|H8XNS#Nl5RP1TYɛ`!jl2}o,o^T7}bPk{/MI]h1D(d $=%Թ ЉH=SO*WOP7 YDQiz$(!8C[@[dnYRlaktd]puGSgYZ7zXZִF! 8Z ]ŗXi%>)1^IsEԽfƲ186&8}ӕէ'Wg=X`bSdV3u74>Ж2txzo fGDEgx[a9 iy i%*Yb1>q43eJ^Pe Q]!ASȃ'_[gv ` WLVt0Kg_-,16o3{C3l_X! )KZ}t:4/,Mg}ڎ+ !:MpBV "{fYUhz\@lNa $/t@]m<V+llֽl[ѱG 1>#8lXKshjJpS⅖JPn-؍v9z  GA̢" ~v*=Ňh[YFZ~ǠR/2KI-rNl(44(ХH,@$ѓt?HҖ~vbW] ngTm͡2I,Ua횸p6"qmZΊZL&$zdNȂZhq%1(vz4'Xor~%xߓ8Ԙ1u 9RͽZHs+ !IJ7ުA0؟N dM`:CGmJ Zj͎) EŨkk7uy&!^%s/v@ izVj7P5_ PrGꭊ.5Q[JA&l<:m'po !Og&vтN ȭ3~jS=cI(2pRgYZ0adfede09a2017674b960abe1732f6f5afadf61d 193e7a8163a4200ecde300711efb260130e85531 1d81f1b82ea75e74b860b539fcd461ff3618c42f 6581e20a4df9b91396729bfbaa321d012c3b4575 6a3cd4173473d1346927eb757ac251bdeb18a083 7374b5279956fc20c8ea650a17532c3728143879 a098d43d5bf350c1e7a6e016d7e545222a67159b a1ab8a78cc7815651e935e7bb92ffc44c92f7fdd db406be5725d480c0c14ef4fa9a255861d3c15c3 fd0ba322b6a289a6a38661090d987d9e74479ed23269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b af38b22688e889a9a6665388fea642983cab603b