SQLite format 3@ .  YYQ77Atableisabelle_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, "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  E- c Lambda_Free_RPOs:threads=2elapsed=19.731cpu=35.892gc=1.588factor=1.827zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:(1)]Zl+@(|TsIUoFn=:΢67K1xÜSeJ HB QsS:A-lB]k_˵7j8ig^=gO"?PaVCS9Yn]Z:}uX#AH!@GP׎&I^s%ĢNlmb:2z᧎¿IO`MWh$9^tW J[ H_Eϙ:2ʵB,I! >9T]LeS)P{AIZVQKN&D> [6}2sRތ@޶_I%@| YW3z7- ]uPgV "Ww7F >^`ޫ* 'f\ǑgXQy皼c=l@6B(I_¾q[=wѻ} 1,yW":kKLqjP}Uci\S0Oھ$!Ubs"=;J9k ^0YSR;~dO;XwI6>l`MFwHtx !6S cJ*Vb9 hu2I ,cMM?pGu[t\6]hNCC='ț&\|c7B!<[^u nho ɡG%* %+FLTS^~hc-wQ^Fc?^;?p湴" 5Kpw 1e<$xީ?Ay?-F i0ؑϏ- \pxEuhѨK{F0vt-PKߖaGyBXJknKU!g(_*M: ӋvK 3e6-a1ScV Mgz}:-5~kSbu1gܑXH *ʭ*%Dߤ%ٺҫ ـO*Ea+ku+j$pSKoJ4-YX#pz~KJO,s+/_WAX$7Վ Q;sDΏ - Lambda_Free_RPOs|Qߔo|^'Ǚ†7"?q髈ZEHT S-3rmt"-hg; "j8ʐ{.|8yt`}Ĵ}zΆOG%uX.1;> %a\EM#^-M}@UKq8O;FvONm94-! ,ĉX/ GiG$sgnWDv^;]sKt|5e˶ 6!.-V6Sl/}8 ϲnB(Ee ŎzsZKxl[[5R[S|'QR s=I"rl$ʛJy{K $\&JHxK f4yAFU2:;jM%Du2/R+6T7=N_1~0>K><0 @> .'V]=4њ w?8:V=Xgv_^E鋸dx˘ij(b'f f{ @7UBQ%@CWvHLf(NTIprbK-MN7p~-bT $nlŋRVV, Vytj_̞\k㻼ZkJl?#[nU>"q*4uu svLxh<0 + a`mLp2)g`)%o=tjx*7f06Drd!ɚ ZW*1œg܈#Ã3A]X^ޞRpq6X"TكpNݿ!Õ YzV&\e A2F y:bEQMh3̕*i vohRb&"cByă *_IhY3Xn`2`Kؚ{wU]N5؆ZuvE؈Ļ$b_Yf 4!] Ko30c998n/_-DtӽРZ_J+T]JcM|-1 ku$ OYG`ұ:J)ƽhyM" PewoT4=J. &MFvl^ wقLJCPF*=d ZNɤ 6\: N B:2_ ht7TDKX1CmNNKMLU=tMJK>iA$<ɎG< f֭?ͨmNUG)*1:wAN TYs *f[XL<DO_o!F%q%ݧik"T${7ZYO a J\ԪlH R] Gz8&&Pش#iУUЛ3}xnޜiO}!w5)5|.aB9Bɸk lY Qc&p:uC,ȣxM0"1[PxiA;mqgj}6ӰY,kOgYZ7zXZִF! i@]ŗXi%s F/h |<(\b5?-Jtx/-y"׌/6OI+B0e>8 4c2CQx@ ?ĮuNA";lB ҴEjvFup;dەF❱tFU<< %,:{̻>0-'E wP4[AA bu=nQd%%cS=NsMõ%g tl.]THW(;JE17OC.0>4*__O MP%+wAݺ+Ѽ{-VgDgLG=+$cNh+OiðĪ H՝n|'˰ 8,rHc OV6 ĐKEGLc^}S H30} hхp/A߮|]5X%imJi:/NPi?&T,ZCU)H g;rRdwfwOeԑ>EuRU#Е OchҩF>kMȝZ_Kl&cXn]s/_6~Of0`s DV GѼQpwԏ_rub6d ؤhd-\'$qHH}by ?U%E@E[#OejOݑY)]™V"QZ:!u(_힥kSf[bȨ[x֠+ġridG4MT(_"sh)+ ")MySRjfIv ncFUc|`6/Nc^o"E'cۧ38?&9w]`}YcExxZheN`K=5^uf :7 =D K-/+;\Tcu36#ih1^BaCԞF .ygYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567