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 kk# DD i/ CISC-Kernel:threads=2elapsed=22.056cpu=41.428gc=1.572factor=1.887zXZִF! 9Z]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee80pG^h?IGC }@K92IK'QS#-T~c!cSZa E3 {L`TD?aYMs `n)x!J4ڣx !=\w͙>ˡC=e|>cV++h 1V6,VN4-9zePy5xp܋37X@Ӧ$A}g^ /c]vw9d% >]`dE7 DrZDDJJ4Yw0\E}e.+ֿ{XFG~h-mR/ =I iA&V,(`^S]F-'&lƐ y.C ݔKiU3zID`ϲvtf ۿ# CgBG҉fvƊJc\iQRjvx xUAz~`p&ש7As/gYՙT"~a|2J .リ~o~N{d·S2*Id(G+uיI9!_aҾq̨2D9W3@\y0$=F!EL@F UXc na}4al=ͽzb/ofDM&34"5$u 3<h6j,Mīii&ɋ W.mgf%`yAGԢ ZV9"\ёobyb^CҮyis8U\SA3wo-)=^\:1ALI*a:4 ilB+wpQ]4ҿr{@Kk I?cF+!_I?A{PYRi~9xІrp"3wdq-?@.4#)Q=F/O vi!;CyUdV#}aWDY7¢n1|χu!eSpv3'#8@'8>:~SP//sz!Ȏ< lj8쾻_,ۋf^L;AB-]+wDvv6T(a2 3O?{8+ixY؟fKP+UQɱeR7{G1!PmE }V=!17EdЫHʭ&MSDxd-V3} |yjaJ%؝vM*KYfoU1 Q킗{;G$:A^.qDQX:[lʶ'ȶI 2m: FXonVcQlP`?d{(CN-= jeT$te'{C=w;E!+Q+YGEF:h-՟>uO4Iw^bs@Z=O($T$)XPX# SʅdLbqUJ)ȴkA1;Mu;ְEЩsuoA@PLK4ʄ^Ofr&{nIWj5`c qegYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f6360ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f # CISC-Kernel