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   _) 4 !S Sort_Encodings:threads=2elapsed=47.808cpu=93.292gc=8.180factor=1.957zXZִF! Lz]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 "mxhA&k@{ބ={$eBi]A~Olls}1㨜)nix^AB^2Kev:6I5WsU,@2ݔ {6+JT2=aK)"bƮWSB7loP.X\+<)55i' ^Ч+QT))FtSE%xA !^Z7-XH-,3#u֢.5?eO:.F`OU("X!_ м3kG;7LFAą!떪@iEN5r7>hk'3 ׺QCBL(W!鹽EijSTwpq]( h;`({{Xx0I@ ijX"(1$ x&Á!Xc^xk;R cYvgb5 o":Xɲv Qs9#'P\Xyַ"z+jy:O3ְ)Ysf ^P{>^df|]i1\oXy|σFmփGnt[tWͿ.]ޱROU~4&C,: <4'KCHIuن5ƴGJ1Y{n.Zǭ'vnÇ4JQ z#&R6إK?]/w>E|x^:^3w?HsHBR,wN"ift%Vf W]#rCsR_e,c{Q;JJJLeF=W*,ehZex/w "C0& ̶.S܈iQ\ӌHJP6{gYZ7zXZִF! 4 Q]ŗXi%6y4pb}#TH0tW}݆ LAlZ~4; #FC?Ht<] 4[' n@fٰժJIG+B I~3 0RfhXeD}Āo$,/c5QJF˽ctN'u}ts7ʺJ013~ÞlAG02 7KҝA]m: Pz09]a7Mq' <՜g{'2 ~xk ^gDnhr/$*-1Ĩ*VuWb(vRMIw!AjSqe 6>Z0a2/Vrw %E'mecFcdvM$mmr6|\PRwf(SH3^MhUcَ6lN}Gqtnrךc9κ=I(HvϵNFv$saRdǹvʖ{_ƽܕBrJX('؃3J{#_|9@F\ۋt?\$% z3QGd"tͫ:zP-P KD3-M(SO"lmabyOW&ͨp^Ll [# I2t