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 (+ l$ / Strong_Security:threads=2elapsed=20.403cpu=40.152gc=1.516factor=1.977zXZ + Strong_SecurityִF! Z^]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=)3%j IQQV|b GOʬr>ahE1,$ ic$PJ}` 8I>*MɎY'8ǐ ֆֵl%6|Tc}t-ßbAcUR%ˡJ<˭>K7r'm^΃z ,qNJER MM˵k- )@4dQЁռ+fb珿ܧ#LKc_wq(gJ@otiynP&^+(%ii$dM:@/L\{L^>3r[!b@\x98tr&U,,EٹttRҎKzp`*NSOb`IN$iH\8ۅF!{$[Ca'@OG) oҪW=Q .E"i_rpрP/.TE `d]?Jɜ/a%Ʃkn6%vihkЬ88D 8$-,s:>uuÅi$0wnvQ/kzȮ;\S[Xķ/?}?n /[")W-H?e/k"LCрK:(r/>N4 +Ϳӵ3gu/ MS,N(if O ۪jrg@0]vQ`k1aCk'sdfkV=GeCƺG&Zo*= 4)Osjٽ*C@*_J-bO[0WjN;DzO:Q4%@2~<6>fdUkȪ07P}#MȺW7p25$<6|,YU4B 9D4s鯍 мS hG=kq&G C N&tn,0\H rl29ĺkPn*5w?d;`P{ y3H.رw[m)^/x@?LXR/x N\D\qS+Wň@D.8q F])3g"s$髖VĻn?ۺmB1N]B$ދ#ˑ)1╢\e2] Jc@wg#\#S/hcQ?,R3g?$ŧ$P@F5̄vSete@rAatp,WX&Cm1{̠òl˒&sZEkW)( 9?e&qCk+M6 jw30F6~vHf$|9N,1(S DތNnߴ@5fgYZ7zXZִF! i]ŗXi%.+2uz2gDy;?:ekF֚:fO] %PԸk-ώ p6a bE٦pwd]1BeH4j@JkڭD |LP?H5v 'f0bo۽§UI`jѯv> {k|n T/9?~iaCA_i+SԦ:&O,铃BC^8W?I$#uN`w̞4TZm7M˚A~ YW4k؉+wV7s%ׯ9G7l,$}>?ƕ^x`S'(P*Jx7g@w8@;[Ig{eۤ6Лc-]rcG)ʰ>r!7 6FRޱd9Bq~>S#d^C9 iC8SS|s떫-Dd\ YmZ"o|moV3smt/Z,X?2PnμaH{ei˩Юߔp"s׻Mpwu%`vDQ%<6;آ/r[nho ӓV߱V j@\FS3;". I6>FKkY5ηΙ ma;@1;[t:P2HON q $ZDhi+~F}[6i|o6.J a8Hm1fSeh{, ad1Ș Ou D 'A6%|!KTO /*gYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696 fde71c36806bdde55e44d647d4af3bc364a2153c878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457