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  B# \ i/ CISC-Kernel:threads=2elapsed=21.349cpu=41.264gc=1.944factor=1.937zXZִF! ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%IHhk;TBZ]h,OX+`s"JlzO6EFyX )zd}6+Bzd[.|99R=u2NMH=P7 p\tʍpBPtG;klZ"ݾwD`tT`:URz"[)d{48l`E0w,llvP%c۷hC Ew֦NZc~иSJ'z[v<;Wv:f1^G)j_ $l;섓qBÓqJQt!xh\4x\rS$[ 5Td% N>ᝀzon\K # CISC-Kerneldub/:$TyKu^RQǹQHBxO`S˴bYFwYsTx屵8K}|VnU׉WQ֣rкc/3$/Q©{_[W[;L$}L?뭺GX^PϢ3 kBl2gyXr^1)f@Ѫ_~W63\8~,D;*lI ӧ`T$S;iXS)Kp{Q4*+*NɲM'CKDn޾#Uo(bRbw׬'E76E'& dZcʊ7!ciWiSL-eM j(Oc;lA -8DA&p&?7`>3kz_$=ٌ[݊@iC"ѓ%4YC IeSµ/$ c|+nkPCl5';Gsw2jj; ՘]q%bӏ P"7ҳ|V7X@=)Q8Qebc; JR@pe!ks.[&+ o2L/)0DɢKUZ]x–gF*^[(e`cף^WD,j>ѕe~᱙w3;"~4o?!W7[Z= T+߻ip\Eȧ H%wЊUԹ . yFE=n7]/S#iQs r!74; םjiGV\]yءB? NĜ`ܕݵd("Jc'XH~Uh8÷2Q6L #=? 6]ӽ9GwtHTgPR {^LMгOb =7ϚsAnˣ$G!%W݃Lg} Ԑ9)j. ﰑB@8zi VV7IK5q*9V `'=OX{& '%g醕g7qvK+ fɗĴLβ\yzf&FƤnsC.=OGizoZ䁟ᒺ[q 4Bo?# NXOSuh=zhOiD'#< m|+!t:u|}"$+yvc7QM?'MNu8T[o3=3rF 4}KҎAgtP RU]*Ȇm )f E]By~!=9HV~qgkL0mU^5hCbzjxZ\ ,.1ɟYXddx^?๣*jE4u?ɜ=GVgΊGI`kt!0ڏ)m^.xcGl8cK&Ei|;x'rL$T ӑʄo}IE DKܼgYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f6369711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9