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  +7 l / WHATandWHERE_Security:threads=2elapsed=51.993cpu=91.788gc=2.516factor=1.777zXZִF! -.]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL?pc)RBm4t g>ef?BQ9O:VVzTGI{톽VڼEM1Xf^Nl,e%&GV}vZ < 3`N <I~89ւ>\j ldmp:l(q&[dsmI ~rsb+٘'B]juΠ',Ug'gইbǨP4K;luң&,zwstwf(-A!gf.Y]#=_٢J 1.6s`#ITr\GUD ;拄/ ruN{1瀨wQM(BL42\CҬAP `uE$ra diM 'Mǁם3MVK&[B IfIu#hIQgVQ0,Y 7 WHATandWHERE_Securityi:QVE C~ |Eʸ9ۥYWgRyef!5 Hrhw`0v, EaixLC+D^^#y9kY4+f%s<flFyk,P2 Wu fJ/vĴɑkVNGaTcy!@:\~9xWj56?}Ds葛xsg&!Im'76Vٚ.@0#泥_m ߼`IJؘ/eY`L6[ $E,.pϿG&t9KhIāy Aw+\=&oeZ,gYZ7zXZִF! ]ŗXi%6xiv ٽRTL&3aOsV;@EDzqD>P^/YRk9L9n`ޒ\1*Xi)>\8AG듻p@wGhp21i}>m@|r? /UEknggO~DJ}|#œ)AѶa]b7_~΄P{ߨČ lED/vҋX _XT҂e{*j? ?gL]X _?}@^,[fb^WFaG?@=[Qj8Yil&VR蕕%&Tar(ܽ@"lR?~jL!}`F_?ĊcCV9dʯٌ5i%inl FڥQ9X{:*9=u [=*r`NsO~\Nka bßAuo5;dPf6"u }5k-e2ޙu^FrpDf @ܬSn7ȏܬvnD2(s}f-O&%ba8 W#V YH?r #"`'' /"BeZP=3o{)6aý`5w4KS_J6>@Inm)?e'n y82]< [.3x붯SdR X$YqwDZg]M<&-uvpmݕ@rfG%|*`?*ABmc?p`FU! *&H9-~_ `rR%ш[hԩ/2 xd 'O:M:ab&p@`;.aTps~+W)J([n$ɚ ~2lId80WX?ͯ{Ud?XnCBw#/W!kC9r=8c$CmߛyR7=ɀ"gW^׃zi/%_imĠ}ŷ8aپ >V;Vj{ůc3ݩgDO KմwkCu67za_z 1~9-J.|:Iҥ@jIBm9*rR";Q&`\.쥬)N@J0ޭK C FW҃.g֑72λ  M?t RC_ۜ9)YռBQY ynuH>p|OOb, ,"Blw|;V%UNuu&}o;4u'rδ.fJ3a6`sNzs)?klq '9!k&uQgX WMQd`E+ 8?@~ jwFWWs ߃R x~T87Gy]:{3]}$]5bXe# >/uzmu7[lr,Pf"`O #/vy験 d8t83ṍ[9*ce~