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 3 $$ S]Applicative_Lifting:threads=2elapsed=30.998cpu=54.664gc=3.212factor=1.767zXZִF! ]ŗXf1-q恈͐7ӺV lt>;ecm| 7;)h I6\LFAULxTҺ)iȽ`d b#yQ&5 v~CqĽh6 :*СrB <唂s 3 Applicative_LiftingӰ ῀?7x-v>\[u*_ QtJ.ϐtB]`TSqrp (I>c|W@[˖y Z4"FN0R!?]1G$,>T3a~!۪X=b#ysE;sK{=cFv,'"u>+\bl~XAv!]Ŕ''J0+8cO5,0ђ hhkDpZMdy!VVY[<%Ke~S(Υr@"ʔ[]2-~V«GY@|3jv'tEBkSkGXȐVߢL`}I!m-EX(g秪ofrj3>t.cܹC |m| Dװc4Zh 6W1WMD2e*a?vM>!or1ttkҦ(N_6B-;Hc.ᤀg(8ݎ~:f2'~XGclGH\&8$eFQL!X/F~C;L_YDY٨9)vzӡuep9B_>~͉!D">zYӿAo&J9^#?$<csDy}-=g8~P2‹Y]Xea,ө-Ra #6ޘm%Mab1ő8*EU*-Y4J yp 7a\.XIU6p(pbK)ϻf/), zޏ%mP7w jMdjZY;E__.>ƿfGGʴtDr(VRlB?H%96^ M@SOcC7ѶRJt4 qg_m3JRSm2.ve q5Gۏ)(An,S S_LB&/W#\Sə%('qB 3 ש gP£w8 :~w:}t߃* &mݍ p9vs+َt}9 \[:5#gT]U?×wV+ywN[' IӈAw;t+|KY5$F+rٲNN \K/d&V1Ӭh; h|97Q,ed^K\&Jak)t?8ֲdCڲBOAl@Եw7zv.2ͅgvBaΠT,(DBn6g(Nf1g4rB%rzX 5>KQG-58W:cPQRh"o *l9_._p8˰KthhTI2NW5D_EDCmK~A=]t۬\Aݔ:1v8,p~m+ٟY-/-ogE+W<56\^ubBc&yhuRU;ۏ t\ӗ5 +, '1vd8.9´sU3F8pT0ٳ'Ѽy qs"pOv& .ym$ ycsVtū/66vm hnyk*T!$S{=_o:xF\4g9ޜ5u%qG0X5|̧5gT:m3"+3sXe h>wGX;bi6&GJ(Qst!+d Ζf#]9,9CT*N4fˏHgEx@sӹqY 1Sю_ȋZEaDBEagIOx H&YkyP&k m~a|(@`E]d:(,}0ˤ}[+!<0ffk)cPaU@;fF*Q~E6h.iW>ƪAo_IZQv3gǥl (*'#[_ճ{G Ir_ ڋ-qDN}*̒([ݡ'ɩQxUh8`azgTS[@&Rj p䡧gm?Ӫ@tn</\5ɚaN#q3|]\%Ծ/}?Ն"bW)Vwv.zdFԃEۖ0L7^vԊY{̳Cx(+1r"1b!>#K\68I+Z"hΘ|AZ_#yՐWdFBHB pޏBGEv|4f CO&aV8 g6KAcؕDl4mH`L'.N?kLڑJM;ό-]WIhtBބi7SnOB6dGAXb/Da֡f3=|LIk*pJ^E@5ōdrlb0.i+\zgYZ7zXZִF! ]ŗXi%Bs5EWxYp\NGMS8Ӫ@_uM/;k4OC@dc):K'L:wNDÑ:v>!5xkw$fծ% qt*CmAt7weZkIw;ej:dG%4ʞ+uѵL5|@dfxy5|uhN+)sMI<A;߱ L&wf*ɝh h}QUƹAfXB iE#Ct0i͡r6^R`>xjum"p?Leã0syu2D_3:]pN_oO=FQwhBfs Ʌ*Κqw_17 ogNꏳE95]&۫uq< cH9szu˺cb)Q(ϦPyX^hÂGWf 4F]r"b]06}]I }B9FWV裚oU"O FxS$usH>^2G*f5+9{Mr9RO.r`F*P 5 OSH{wu _驤?A:\펃@gKIt`ƕf0=XK|jDfኩKs'H-bi>[ K }VxV͵ L]ﺴG;,YIXd1[mg!AJAe@xMa *Iͣ;L֣o#nhP*LZf;JpOߜ`mAygogӂMu@u4R8((.ǒ!%Q8nQ .cZ;`z8}A _e3RᲙU{8s3§%!,p̏soJyݺ._ `y3D,_@%) w4*b(y|޷ˊ~L1}| fQ ,&*'0pns'e8"BqK\5qYkiS A5?Qkqem_PT͛c tӲwUl̹ϗE¹x;0:1c>`;gKsdЌQ0؏9bЀ Yl_$u5y֪'Xo$z wWDۃL0sdVbFyA|lw>kx[)PRgQJg`u5߮fvO-[ν#ӛ齵]EF >a1was)1MVicaXt0eq+,(%oP@y(&8oE*'G9uqz[\ H+}(;$"0}wh.^ԛ0߱;IgYZ047cffc42204653c87b34f1b250d62935dd09f3f 04c517b2d8c1450fab198a4decf49eaf2a1ccdc8 066c45a654e0fd479cbde948c0ac367f513ec177 0ffb6e5c72ffb803b92c1122baba2f7dccaf1638 15f8605e1e24e9b33e466c700b7e0030c483500c 1ea8c8000af781978d77851e11236cf9c41711e7 1efe9bd53ea32941ba5f258ba50dbab639d43238 236ae53ef78affe47dbe7cf0a845847074b12490 2a4f23d1c75b745d392ccf2c6fb62032a815b341 3d2afb98317594be14f3347766c4d2a60db379f2 54b3447d5d9b8658f7278769d88e3cbd6036ca6e 56bed5e99578bce1451333c62fd4e7d3e782fd45 6106abb285f12ba8e95da0e7646bc21210831d40 61b7f7cea5905d8ea78f3c2dacf630b6c4cdd79d 6bea18a0990827427027d99d24daa0fa2e05d4f7 7699cf26fc19fe8bcb6b5996d094c3714a5f41f2 869d7e69f4c5256733b8ac4cbd3f080928b2ad15 86b5602a7dd5348e36a03b7218bec6af0f3c4363 8deffa144459ad2a2c0a9e8b65b3a556e35fc44a a60fa1dcc39efd8f2ac95d4868c523d85ba629be a633c6a811b7ccaf70fec51e65bfafd38d6f0c61 a9d5ad43ec6f86c94c776f5fec4964604cea28d3 aaefd10ab51f3f69599f54d26017ce7685af5e1a affeeba354dba56abaf61efd4aa63b832bbad470 b1086e75f696f9d6e98f1be208095d84cd48dba6 be64e4ac21172895450d4e288cef7ba288cd9de6 c69462e69e47674beae2c3f50d7a2986dc470fb1 c78be280e43908f1e12acd4378142ad800e2db3d c7df625db5232c262a47f85aadb5f4f53022bcc4 cd30451fc063a8fdcf447f0aa1ac37142f09d502 d47f72214dd09948230e68598bad4fd1e39ca36d d5b64e003dec033eeeb26feb006724f768a862e2 d86eb96c520322c726972467597712e99acb9eb6 d92425eea105b871c152b4273b225c942cf69f58 d97e0f709cb34e0b4d775136cc9411bef1621181 e0746adc433a53faa3ca41922bbf5204ba67f231 eb00b4ba0166aabd0d04bda136445ae6bdde666c eb07d21acd3d54e2165e0dbf0471f31a18de7624 f6062dd043b867141329cbca55a6e4408738236ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 3d4014483414825c400089dffb34dee8f3340d838c377789c4498b9dc00d10022048cbd0842c4619