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 P 4DT ] SuperCalc:threads=2elapsed=42.059cpu=77.420gc=3.752factor=1.847zXZִF! $]ŗXf1-/6vR[] ֧"zժڋZ( l-;T" `\!ji̶"x4L ߎ|e+Pjkd4óٝϱʎYq}"#4;.$pcM1ތXa>"wNoޖT<̓5۫j heLVMĢRRj^ac"p͖?gi)â-i ^J+CR#l|`!M~Z͹Ww6J0$bG:ȨShqԈx5a;2I&Ȱ?#qٛ ׭of2Y   SuperCalcL~R ˜^]G7؇ΌI1"%Cs;[ʥJNS`C8DZ^5r9g& 9H`~bVbMKuvTOb[Q#=`cX @e6OR͍A_3 +L`!DUcqd"7_i3'9ռLAxs 1";Jgyz\iOԿ0cp\'-/{/=` ;HK5@yMq#6!_!ΚFYf֟M..ṘZV\>Yΐ8\Ns Ös@֬]8&O]M?EߏrFD.eָwIPөkO%ɓOʼ͢ewRP[WϿհF|$"p(dԼG}#3o%(DppEz`UOJsTb 7#O WgKA<'Nu,ǁLJ&nC=KU[уAP+0E n:ϻ?YK~@ bf|C8z.օ<#Pa^MYD!5Mi+k no*kHX")Qؓj*v:pO#gȑ˹S㞘l' HoNRaU8kK& XQhb$˕ m `r)Aʾ$*IMgqW)3UyKdxtp@h?>r1$d\m7 A&(A|0 6fCA_e? &,3b^]l)1g0L*' |x!k9{x>ݲ Lsx'fOMw"n!9] :}6N @T]H`a`BLeg^P剤]fQo7dL4n= >tZ'NE ˫<~>˛x7_l9ecTs<@z/zh = asނf(VPRP *ՖbKA sCkѶda 5w(y[6` +Z=w͜CV[ jW%H8TR_?n)yAyƭMKti˿շ{2J 0^~'DQsAQ ؅=G.:b|PPp:FmfsEӌy?{rz=o[%A̹_+ *ɵ``DQ0@ 0_KcE XrQӜ ;4`y ED]Xsua)㏫WӏaL]!m~u9(.vY:{ܺ_Bk7z8#i4^ /]A| eFn{{"deTDСWT)T (k?ALGزBkr}qULƿ?1BK-ͶR^=K8ǤNM<]ȇLx8HNcDY޵ N Иd6`ω=.rO޻ˤ *tg5<[a1U.].{ :yBK|?*շPF)vb`㛺A͔]xDg?IAIx],P/X0s3OpieudEh wA r=ɶ(r:}mP[|>S b_N'h91cYIi2,ҁk1F+azc6Vx[m>yill>IIȾT}#YE:gNskgkz觭?7׆Yo\q&$Ϟome2 d aTD{K$/pc&˫pV-ǂ!ffqH۫<