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  $D ]/]HOLCF:threads=6elapsed=12.621cpu=36.040gc=1.932factor=2.867zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}kQ9/\W皚Pco잙T$1]Ndy&91OcjZײ`[D7"&UO/l1xrKWgƽc&H4 )ڒoxQ"*'?GF0$  8" %~M2#🰌x[&&S7;Np6[fT竏^?A^PG}y2ۉ|^2ұud12?+F-Vd+yKB.eWR3u*OJ ynЭjcZHyVn{P:teu MMJ:j-ԘĦ K7m碖0$˒`Sfz aV n7g _E)bQ^7`b.C0&57_xӇɇ9S2]kAB SC{I0Kc*ma>\jAH i=z$Yjt[W;F` V%Du9 w\ w\vdnLiE=8yT52cxCDfT,{[4ؑJP]JŜag}݅^6xr+(ϛ]o6Um+֐<K9}_16 { 2 $ڱv 7* W>SK}'YJ@1oᶔ֑ݵԼd҄pe-E=B}M9ujn'Ζh)˜c ؠwcco4^HQ`F҅W,5Fi죃HU'yzu׳IxݞpV} E_ U5ݷ+S#`5Rr$kcg8[ ̬&iTb̋; S.Ʀyʳ pO@/`@f ?gYZ7zXZִF! =m@]ŗXi%;wHRh=TG8jH!$Mڢ)>iʔu}IrMH] }dIIimx05~ZL\\`1op=ZvR򇧤))a?QZrg!S >!t(k#8ǤtsT'[D# ς>nF7 MLv'U4c3t]U:SUl[ VO/˰\vFGN|Q* {zqKQaNe}P!Gx(Z5d;6ȃ$|΋=a%X>5[~9B>TE9B5 i%UKuv5'K_Id:^9 -)Bb`Q8WJ߇߷|])0C),(jAgtӗPA54^oaw2_C.P_?z??U}R saPL v"OTO`uPI]WmVV}W#R{f+3v$4ŜR>.5[\LQza?qhN!vLf2amwg$rSQO#]-a IHj^r&X K= Tic~eKï5*ȡx\Ӄ;.ߙT'KȞ֞tMz[T t"=H|f̽Q?4;q~pcI HǪR,=B-^bU! gzg^vgN7<i ]˅o#c~5̏7X$ĩƇʔ^*^BKAqW$WsìWc\1% "jbs 7b_ɗ