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 o L< ]/]HOLCF:threads=6elapsed=13.345cpu=37.708gc=2.048factor=2.837zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VifWBdT YHGk06`Z}đ@DQ, f/ c(Qrϫ{Q> $hнci :i2\2'n&_ٲVTM ؤIn%ⴹJFѯ]St7N6\x:DRL+ {BaG\)8K5\[a}bQ!C=gL,KBo iiCܟPf3meE;|Z3Lixgv`_K~Q?Y_ECn2JΞA .P O E GF:˗W*Υ$ֻvEblx沢jQ9@Ӈɇ9S2]ʌ嫸SvadVO!eޝY=ӀCCSx=X[,%ցkexUGDیOm"=fd>%"șwyr `4z." %r'^Mf`zFvu KID1Fiy> w2tĞO~go*ApVzF'v`1<mnBIVsI߳"!3Z"N KBج$i]g J4uRҎ)Va뽙S֑۫7 v±lA T iacjdIʎ6 ,595IccJBt$c.VP'Xӈre2`3gYZ7zXZִF! ?W]ŗXi%;0Ւ.:~6 9|R2tM 셆w[ԥ qO\782(]?o)l*WPszQv!S`)n$U V"B𻐈mt#iK0\{'zt[TxG7c6 |%?K^C4WpY? LB\҂=7+oO\]Nh]b 9rH-M<2ޱ ly!}ى- "{Hjm `%;IZ`PLM [!L[:ھZLyKoŁ4x DO ;}WgWbIjp|Un$NzIv=ns/BRϩ)&%+-d6mR )3B>7dh_6yCo1Kmu׹q? ;),oQV]\OlPfzeW)3y],NI)b~H-]r٭3Q.myrWgo -HcpÔׁbȤ*:.>93$b9uA8&=1Q̤ GVj 1OɥYCkF :vUfEzq1 ̬E&_*Іx@3&)v>=]X( @N1U4Z n2Feʠ (UJuC"r@Bʎv{ evIV},Y5|ҞndfIiV `W\(*SU4=Ș- R@rmoN+|fi+R0 41]Phh"' :L~UG|$ZcenIe3?rjc%#R/myB;w8̡\+nOe`(Zļ F ;XF3/7!*ڑuOy;-֭g`SԴ)!2`0$H1S| U~YNm+YkYQBgYZ981edfdbf9f912d28c10956467521180ad96622c7c773fa34a6bc8928e20fca183df288d33e2e574 be7fbf64373ecd23768e48f09055d3bcf2a7c79fd81e66f74f2ea1f43757ab4115ea627ef90de0f2  HOLCF