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  Z#\ M Pi_Calculus:threads=2elapsed=82.009cpu=142.664gc=4.868factor=1.747zXZִF! G|]ŗXf1-/6vR[2@Hjj ^,hi9=04ZoFJ4qN Pʪ3VA4,ݜX AjNA>Xӭk@xX haŴj NBM6&RV*Mr (Bm5 ]h&tW]8l1{zU</LI$vjNVۜLKjI|Uwǜ?81_-a#[@l lc99LP0)'s3[B8\OO #0." }םWI-ZV2UH`=$kެ4ϰC{ ao?/':nOdGQQx0Vڥ*N5}42ݫ{nؽelm[$G=%` 7Ab9kHmx\<6rq]7gQ,5 C 8ՈuI*(su"I"鷺ZvO)eB1΁ a{3}6VfGiBt|xCGʀ$> !"v%Cſ/Ha*m0Eb$8%^4^ z GerDy!knoUلJR)eWD/zˤ3&lN 6aO׳UJ-zFQR8'u 7m֕lqU[A1*L^H>A9łH+\ox_;CZq8)NʖFywv.V # Pi_Calculus5bI{Wj3~Ԗݺbo8vG-٨0CdI sC`qnmի2t!RGēUA fpT}ItQ` @19F-P".4nA0U +)xDo 5*,< (YR? ̇dD& H۟)r<A5&fBEO0i4R<7\ΣpLW gʇN!&vԶFR=#a`gJ$޲!Yg?lɑzm#N?uZ]LgdPnDonÃ7|sƭz'Mw`}XAF5| ƏTyqy s8}YcU@׻ 2)nQI5|z+Ň71>lc+z {%gJƐ"8-Yu`][>>;h`5&oG0|m&!qUhO,g2Z>23. $LU5@b3&SK2Gvݽ&y9tH4h-hHX)b+'[Tǝvߙ x+ .pla4ئc(tGe  {ZgYZ7zXZִF! Vg]ŗXi%}p\aXi$i!BWPmrW&b q j򽭙}FBsژ]"URV:S-fِ>>dh#s ikJ5NR!M+;)ɇt*Y=T~qOlj4)/^=ڛT\9͂Yo*u)LEݕ)=JBDUF1ZPe<9x2I{i·j ,ʠ {S'K($km}{aC00JB6;Nj_֠&(+U]aj!6툳RsӺN&WW]2poRVdt$} 4?:sBà 2*6#Z.1&BZC.g pQB{]XXxwk(V?vO9|=O&&5n ,V3qn< n,ۭ6`NXB}{ T㥓p '˦(k7|'+$ҴVuy-(LD@ȥ6 X#c*+L(m%@J7%4dP68< vSĵi$y!Jh@6@>[wS+IĔhc7)Qs4?VHN$֗[c$xz{F[_1A Na_0^cX'εuHe3Vܕ61;|UL:q^h].d˅@kv2qn0ق:sAc %SSD²'0/\ĉ_L;sX2x_a%:)``| ׌ _ 8#C5k~g7rݰ/Zb#1+o# ~w` @wôs➬jT!raP6هt hL #ws=ʔ3 RQw|g85X>:-Y`eK+#j?7P:P~jSj*iYkұt {xi <vk8 ÆdOd~@ɋSiޒpUQZ:~@!MPB?&% xTUy<4l*v܂J(]̥$ԏ$^99Y{N&k#*-I9^Cw%oVu` a{A:^K=ޝI4T4"\Axv<}}mvM㍠ۗ۰ `%Npui؛)Eznu?#m։@Ov4"$$QwBInynת4nsIaLo|Y> 2u,ei0o^p *_:&HTUmư-_Uu_#B[K0oh"1Fh0VF,;ϡ;_"oΕ> ed߷QM]zLn ܶnH7h{B^ qc%|dώxC/FC(ZF-k "5 G_ ,({;q;=2X¦rl0qF(Kv1r`~T cYd@]8]4_bNptWcG{7з~QTsLU [Jg}` r뎟ì,[?CaN!Äd]3^jmH"gZ`^pWyO=ܯMf/= Jp!xIޡx{Q.57 >-rr63Kvț^sCh!]Ś Is{YSA&\c;OYaU{Gz@f7VxJ69}h[iTble㢠j-& *ҍg< 1Sy^)npl68_*$ԝJ* CC[}.YE1gnon'ӡOf @DQN%;xkۤ|z{uUE''1GИrhQie0oTOZ~Yª E߬*e*",9G>nx%SD?$3gYy%5hZ=GzڮUwHevbLf8tdKWTДWlbIeFA(%3L"ފItՄxxEN%eFg PkI~k`fr&o{B P Fnf)p hy^|vlkI7!S8$C"K@ddA/Ի,Jd;(?B-^*?kxo("-wU ?{],2[΃$ڰ&!`YX͝S Zp p}%Q/ހhfZ86N;