SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 / dD| ] POPLmark-deBruijn:threads=2elapsed=22.457cpu=41.684gc=2.492factor=1.867zXZִF! ,]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LֲցYO *[ͶWLiwϑ:LhG 7 2Bp}}K+ּZѡ;<{txr쏰.bRޅM"U[)Y .0HN~?>0VJ"60Wvg0.A^B{t it%vbxPl"( h5 Ϋ)jh# 7t*C:22^:u,/8&$ e tF= 4/C0Q6;N%{4I<LVw^#3R0fO~O .X4\j\|Iқ5A$4<+#}cSΧLU'CzrEڿ)Ra%;% eGH6޳ŦW)zgB:W4MTgrJBNdth= +g1ذL %ogYZ7zXZִF! ]ŗXiɟT{F moEhuFw~BAfoMQDz `q՜P-W8U9P-F;ENTG> Jj]޲XqwB'ݞ*gCǾ$w + 1ł5^=" zHgYZ7zXZִF! sv]ŗXi%9#qqS&]4+etߠoG])Mn704:>Ba)}&~w$\M77bHGPP"k.,Bj=҈qz6$?|%mqm* `Vb7oȆi0|!&>^z<3ms)o+?-wdЕD@AOo3o>Ʒ<9GiŦRl\tʺmFWh 1l8u{]vAƸ@"~1 q=:F1e1+e5/jcbX {WUXFaۿ"?](&ܫ,B#X֋ə v+3s.nɆ/,ضn/eQLȀ$͞,`aߖ?w.xz,ȥYSUqp\]_TLNc<$.̴:bEl="!WЦHLRKTps`9'r pڑ.qM] Mg9cT!:&B{#HtJ+o/Z2b!ghSơk7ANAc:/J6.E:M1靖yL?N8G^BdkGZ`ͶԇCjq$uMtyX@By4|㥄!bK khU!s53  5t4A ОqNDր`~fg آށMaiL̡ je}KBgOu[b3R@påN^@u|PcdOZ>~U<MIN67d#'^F!~;EQcM0qpkĊ3yZ_ZxNVߑT]OiLfہf&]U>5}y*^+& }2.c;V }@Ru"S^ uOQza2e%0cx4fȈ4(pW԰4 CC~u,*89i=b0:=ϵBQfabĩ"8(x@S-;lKҮu<4qjNl?cuϑ3 YC7_&^s fs'Z,I~ e#P=-Jv1c5^1m- !)N d)S'9ը̪Xeh1F)YTMGBGwnC 9 {-l2-maY~<4]E9lpdHg3 0gYZ5b26305d2418caf2d25123d0607532746beab5d78ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c / POPLmark-deBruijn