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 2) < yS]HOLCF-Nominal2:threads=2elapsed=22.498cpu=43.536gc=1.912factor=1.947zXZ ) HOLCF-Nominal2F! ]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6wo["9:=2}TT HXCJT v<e\^zIRme5JOfl0hn-XFFOaG0Z_<ȥ[r%if?9Uh\O \ے@2̡/PP. tr,,caI'[@7aZ9<(R=]`yvX[1Քs1Wb<+[aI*B t| V…=ZYbXRN ZRza(tuaa^}1a eQltu,^/L%O3wA>ЈO 4~QTP;Kj`9(_=eWhz4孊&'3+ٱ.W0 e7R*%GbP`fe&v'p T [vP,[_Q8][o|ܝuNÒfψ&\~br%3hﺮdħôc&Uۓ_Uz LFOquD#a.@s( *ӕuR; Bp YP|Qvsm"s~% ڂ-C|3hmA>1R|eVCa憺ƃi:DžJe `/HD#>}ƠO8ɶ?5y=tm⁐ȴ{A~~\j ^ʖ&?0!iC6 a zgcY[xKRzۗR.a-8_}/R1n&8bj'ǟxT%{/*cPR]3uy%QduR>t@nƃ)O"y?ueOҦHfK(;׮Us~ گ#BYB^8Ur *kkVf'Aq'tc=%y \ +H8b520ȵzE*~>'m"`]ow v%lmw5u["rE`3춺Rv&AVO%ԭhVn ;>,+K:eƭY!Y.m!?u$] ;i2|Y7鏰3,N\ [ qm ՋڌQF$1^?,#qe┹Yv(f< i𞝩Ps$V5TR%gJbeȂ6CiƘ+txnCS0Rm:8Sxl%;ؽ@7P"Qd^pǔ/mrˏv`){/Q"oh$[9hLN :5+Bd4hՎAجI8cHmqsgV;4ffM!DAVk/Аo8r}$v5*\ 8 cVZ\0eߴd)mTn o[9|oaػǗ!*V;h>SAO9 {{P=qJ6<@ɨF4{o|ɎP8z!NeD937Z2 SIi=;:ζl yA5UF6|TV߰9M1¡~Y:Po9a4S=ӹdf"e8}rKs׵p&CfąOeK+B=x5f774G Yh ! ֲSZ5G[E#"KHiHB栐axIA6+/a| U2Ht?qOpp&v MVƱ7 X 1] gt~yIsf$ժ`^;d+/q+CHb*aGA46 inL?{ D&zHN|%|9LϡSlz1XZX;|{:\GSFtG}`[=y1SQ۶7ʄڋ"CEQ}>c;?)gQNuca^z%dYr(V6Z%5 v }% 7-?6 CzpV,0Af.AZٹ4nr 8xBq KPo*MO<Z~po;Zȷ-uF+ &ըڠ4K)ȂebKU O y aWzENŰV2:ﮑT=TW5w>W\B@FCېhӰj{>žBS~0/JR δviQƢ`,^ysd3L6)j[ȗw+m}3 L쳎.я}Ȃ4II0BFG⾮~dF I9SnucwJ3iѬUt%@-4,t#v|Sʐ dwhRQ>8LzdD;r~D4#6>urqIi8 tZ}B>E@c '+٠(WךH kH Q$SoMܷLwӼ MI,>֓qYk}8s6ѫ,ZJz'*1_&_頻t a:/p`3AӦkdg y-kX 5+ ]OAf5@w~- $MYG5WnD-*o?43E z/y4u罼TvcfFHɚXW~RRقI8اwvC,D6q}5%1W"ŭD, "20 T5NJmHWBݭ}L]gDuszZZ|(إG %nj!ՈWo PI}X X^~'" N$TZ4_|}⩅Xa &k&ƑHSߏB6i'jYvP2y5(RQM;R;Jxϐen uѧxz%3E,"&u+o(1L3eo$!j׸TFUmtq .1t^gQq0DoE_1ù#f 2(ynk=n n3,T9cX{FL)' L `4IS\1HD L(MeHlXٟ rUs$ t:hZxD `rcX",U"2kLuW*%[eìxK9C9:9g,ۗ]ή& RdCivR ^g _Jh ~)؈%TE+Qsҏ)go-b]#xW^*/;zRn X08R9Vo;)n͜FZ&Ezcky^Y-7P`3*bqN:ۜoŒ3`;["=Ex[z,(s|n k%) wNd(L`6E bʱgYZ00373f1096635d47f99703056d4932b2c263cfc2 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 219388f28f6366ed4cfd1113db2603bfcae76384 21eeae9f34bfff80103f78b84c072ac4b777eea2 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 3937c9dd3a48aa911e30d16e6cda94d9e7ff9421 4cee7a4a8ff3a6a412156b24cb39563781feeea5 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 859a0a8c3226ce4c9e95670976735845ca0b8d8a 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a07055f2fb48bb9ed75b82681cd6701c235d6918 a4107a7b0006b2808a6643c0816e1ea043f6d672 a438efea6288f9f4f15f7d643bb504a34d38c343 b27e8549c94575a704e4138ae768f609ece9a3ed b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b81e0f0871a3cf94d739122396f0435231ae1ea2 cc49f191a1330d1b26b2caf92f0c6cf8b98224cf d051334d5bce52e784fbaf69b41b2bcfa686d54e e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e1ac094c02c964d96b21491572d4c29b41301a9b e1bcdce71ab76887ff8c113a383722d2e2085fd1 e3c438bd503158372dc2be23c689a43bfe275b03 fc8203de16c61c092238a1d5eb780b1e7d4d11d3b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 20fe1ab041090548de99a0b2e0a11512b7380796 c59a5adbd20a58bb3a1dacaeef88274364f35dd75ab776bf03451a24f49cb9bc42c51aa6fd4dffd6