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 + | w LightweightJava:threads=2elapsed=52.817cpu=80.164gc=3.172factor=1.527zXZִF! He]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYJ1x(xd aC'* ގl3U , iۜd@4iZh-iHp#Z$U l>)JH \J}KV`k¡2d ܠ /P:9s7P7+V(53~'.-"[p8[U߃K/hoMd@6qtz,Pn|QGk% f%euzRȚ{sKJ`1P3P> + LightweightJavae8&TdWF!Mݟk3%]!2|( 0-tY*Ϣ7hy['^1R+saDW~je:QM~W7:r2JBtQ6[wUzHf?fmP)-RێnRW܍2*=Ϫ3{MF?Ț8Ʋg3-` vG-ey'c0SũQֈ~TVjJ7}^jj; ]D0i%YEgۍ k糉 0U"KD=B]yl!px: ~"Ks4_l֥a #ݰlWDx$^9hw/"hxUP9?}}uiĐHPM<-kv[sIwsY{nK]4`P ">q=2,|/]?#|@+4Spख㰮Ҥa>>qpe #hUd_ 5IRU@Tw+*# nwmuz{%ճqxc&8AdôVJ5{NkS CLhWJ%:e{JF~4Lf%w FDS b7r(83 drAog%ޡr`)-x#h7[o(&C"G FBP|lb$+w&Qx5J%CuW&Zѿ?xp,4UO4X}^UhP c1 2Vj a ;:A uTp;ʶH5bg&qͦO?Z.xbiqC,1[]wK.l V!:>IaJ;QUҽTm@HGu]r5*g8tGG饇@+u$)ڹwϫDٜėGc FQ]U>f+rxQ~t 0#0FE qdgI%R(f0'8۷]/u;*Gx˃p @VJ ۝SԂ/µ4S9+,iRv#PE?3|ۂ5yK'./},˼jdT5PE ݊_ӥZq :x%LM5 >sZi2yxV&Ev=udb+{ tC4(Ph\!c7tkRhK?{p)/*q<bKHSɯs ܪ#Cvl8ZuzNB4xQrDžDiJ >qe~@-".SgDIӭkkr`!ץyzG䦆JēbRp\n Ağ2\%0%o62e!WC}&ZjRT'_tO&QHek&%yi/#~_dۣT; v7TD:.ُ~r0g>;p]>£Lr3mOGh`-{IE%UJAW*-;OGi- j7)\=EC7ƌWuPHICO-+Rn Cn>PsO KPť؎'u vpdnAC\ô ~mo"F}rxI]$o{^qe7,Quû~ ܭΔE6v#4qqmrHy4Fђb. 82j#Sa.\v>e޾ ~IG1Ήr4ה <Ҩe3<׫Fa[/q8mK\yNM)?k\v{l5!+t|2 ú;2,6X|yv34CvC IWjשTڔ _Ztiv2*)c*C_DΖ҅ATbR$D]9kcu|TjoX&2_{\z.\vrw"`J,҇'3ZeA/#VJm!)47M9 !PZLhh$c_y%2e$Cֹۖf 5?rՊƐ cy6@ 1V(MT9I͓ vbE6z>sw K.Œw,3 QUtl=vhugYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3eb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796