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 s ,T ]/]HOLCF:threads=2elapsed=18.070cpu=35.512gc=2.188factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6s xtt\-KEUӭB01iޯ+G$뎡u)4.o` tgD}XQD!kc6[Ma֯?|݌ yVDDEr玍 D:gv4y61ƌ3Q>KZbO̒[TSZpd0p AF#WŘ" ~} M$\L,0e*@/f_S؂Jℙ LɡU H*_(\:Sނ7~L7YaۛQT)ӬE(fC$0#~Xu0lݜXS`ڎe,IDs !0ێl?X{(al NmEc+i*D`n R) jS b&WQ}[t,]֕v}1?3p&qUe 3 '{qÌVk1~ϡFu$9[D;+ȊAA1/>͇/]x?Qj"s]Ҩr=ѯ@B_VXDU\xHeF>GT>H^ į^sFPTϣXk{BPQxVl\*4n;:"f<\B}zǀ=w8 [QJ~g1-'`m!! .HY:Oh^h6#_VՎe$@.:F"#ǃ|pէ(,{/`#hmDF±U+z'鳄A}_8a57BK=_aٶY=KOjPj<.vrq]``P^^~[sai73r`'y3-N;+Jt_r }G]D ZeaR]AQwy hu>GAGbx UYzMn,nJˠJ%^|HZ,G| ]Ӥ}TfT3O(͎q^uNGB⋹.bmCҮ>3)5"b+鎁AF7vLi cէZZ=_/3ALgy?/sX֜ !m~FE%8a5 =aBAI1b9jkۅ&+ET/+lb*Лap ">6K]nTZ%#הWp7G%lwX `zg4L fR1>C0Ͼ4ֵB"##?-*9N| {HԴ"WmRn`^v ~[ht_~k5d1k-NGYD y-VTik#lK:R@).>{, [ҍJ{-m{yQ2ETq ?%A4hڅ/Xa襠/X9Hg"~SYZ>m뻽l=JFkDnٰif+Zbpr7:& Rw%kkFMGSb!-mK/T7Mm1L?2 _j5ma#5-% ~|Џ{p,F){8|T04~ ʯ`L|I֯% f/ɤt%񚰀 Kg'{yBbI=UQ({ji'tyRЈKqA0/';YHHHOG.颀*"FnϿ{:>;s4)_{ ;: 0sL6xDU'*_=l;Y4~*jϒ\? n ̱gYZ5045e3a9226003aea9a6c3c4cb52e47ba73d3204ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d81075ddab24800cefd200210e8ba9b3282702a0a  HOLCF