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 R |dt ] ZF-UNITY:threads=6elapsed=5.045cpu=25.444gc=0.856factor=5.047zXZִF! 5]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb7P 7pfx߸ Sf;IN1*$^R+}WDN팹)Yb`b EP9BGL|bW3 >3l;lR竔j= (RFYXvW~X]-"n$kUV#jxkݭ&$e=ˊ(1L$TLؙ3J^Rcz{SB|f+G9$w[VʙlBsȁǴ}l7ns:,l *PK((YAXS)ˋaǔ>UCm\\sV@69B)j\nnهVf>\3Н#`N%]e5MJw#aGyP(91/LET? ~gלFīHA4`\?Lޫ SKI`SW&3Hgp‘B+n֛.bߪ <S9ֆÂyA4GyQGn5TqI1ogYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP8'J%MY'WCT6sf9'"/hVI} ϖx>Q(1Sor# #kH+6\y,بGqY?9E9:eGJ6.|>r#6b .$&y5a[!nA^Hղ/M]fu{k >J:lkn*HIFqB=k⌢(o.j=JL .Cw5YsF58 o ^8?k疨CFS%.^xnXڣ;r`42Qb:*t !gYZ7zXZִF! ]ŗXi%94-B-_ҩCpbqy[X)!Q|I̦L?Yp?Žf4[3f%C{Y> [}}P~g9n׳HEHBpbC7d-YPL"xݳR 7(:7&m {C/69H0%2 >Zult˧ů—YqZ;qo{&+%Tvuɽ>$qrAHVTnTaDWs* .Qn~qWfT^^3yjJCcK^GP6ȡlrNHk,;PvYspd&ԄHS'W:vst: (gG+]G!–1( aݪ?5lĜCISs4)Le憎 q?>}&!M.ROm^$úS?>-BWAV6B?й} Ei37n!v)n5*3pfg)&Y^Bk\GnL(+ ǭY)=_oo+1ݱHU!sPcG3kO&uUʼnW42rAozZ۸DUwˌԶ.m!UX!" 6%wAlpM~ELze/>+sk714 gYZ7298c6c6f42d84b72f1b1cfc106363553a18bced5a65cfc9184ac5fcff440c336649c488e962f666 3dc2bbab9c7befd529676992397d86763668b519 be9a7b7500c90c2ef6b575c870c19b73c6135903   ZF-UNITY