SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 --P1 ld m]HereditarilyFinite:threads=2elapsed=16.579cpu=26.108gc=0.892factor=1.577zXZִF! ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹׆-,w`3%tk@Zˈpi ?[T k4>JLh2Akl%_y_@'#En1a_p `C֬u>W m 㸶ϙP`β- OeG__G3YX9sjI"Z lYY>n TѰ,Zc"Ib߹reZ):6(OF1f_&3M^O| ` >/0af/ݔ镓!}h<3qXtf H.|fƊtNVTG*kʌ-¤ ;<+ɡ1U-W9>GgYZ7zXZִF! [+]ŗXi%61N#nrrm. _u=T}|> ?l7;_ߍU 7S,4e@鿃kkZ y hsm $(ջR)L瑲\!$f EIf\:kFq8mI^Ay(M iBr Pf v1sLShw*h:H|+Όt?@8>Еh3lnlsv6{ Y1b7;Qi}Z\CbY)pk9޼eZQ;$Hp0ýݾrzG`gНNbjd)T!'>!y]wiUFh^6/?u+ ZSs]&(?.W]~͡ybm/ŅoGm&9]!2ڊ:9lo`H|Ulu[EJ $AVV<׿7x'whq~.!vﵐ[åfUGxy_l>> jsmNWWQ=^fDp|q M\Zp(qfu z09w| c|P3ԏ&Ma֛7d_Gk\fVYU~fm`1S{Pr1+P"ĥM`d)dt[80BjH8?DJOB[9 I+ ~9S#6|O^=j48Js)Y`M>Aqn+X>h}'bvptrl͂Y= 7l.E,_e#BSvg !Cm9 )N%7w3^\KtۦTM0M.A%k \T-WChk.6ʖ#$06Sשq)񏜗U\Lt ӣ odnB'sM?9eWyr6dyܪuV|L{1v}+q];"lU*/bTfD aK={C'z eG"c2[%0Nb:_Jg>4ƨݣشv/23ds\ TZ1DKЇ$ ftA :x