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  w w~# << ]% VectorSpace:threads=2elapsed=60.763cpu=99.504gc=4.520factor=1.647zXZִF! NV]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n`l;q'f6NҎ;XJx BͰҰIC=w\&wt>uZH2@ ʰQ7S)}Uզ^z1Z ;K\%1ǾgXwgLk؟'d@qd3reofg9+&PR$qe_!$q +s(E| pͰ*|H8p8pG /)e8w%K_%eǑBa~w@=n[$ͳX=wchM~6r?>\M?dy,C t䭁< 'YpOLoy! 7( +^L9kq.{6\;-XnVejLTta"g!'-øVSM=`&..} /w2 ^CP , 4`@9.œꉈMZAbxVV.OcQ.x:/픑MVdc&t*n7LzkF"dknJT%+P0oBa,}wA0hMUf~v=ʮ :MD_v]/a`]r">CxPф+waŔg~aCt +_%ȟt;pY}U%võc1uD.6sjX'J>tF^VتmOc,ʭJZg'h όYW%?WH3C0C1wumZY5O@(HWCy$1 # VectorSpace2[͑#|Qzd&BW-_ ųVmwe؊:xG``SBp<] gHoi9p>vz%zɂmt||:=O@CPј_le(~ncL؂-Hb+'~nQYМwq]V]zmvsFh`2o_gtH"S)Jcwf[[F:క2Sw9!?ĤUg9C猵.dWhT0`/a@>F"j7QfDN6}fSenjySld&ܝ7A:呰͆La' VU) nSL@:]IE$ts(x)E|{.U5-s?zgE <D;j"Yc,X8_dYֵǯ,#"-!@0Ƶr ՞9!8?L??LjB]ِ0(m 23Wb]dx]us*Jum,/TD8!(`,ѸHG sx ~R;$3)U R%ҏ٤zAEgbZ~zrH *'kSX6†g=ݱ9<[?^O_Cz}7H3^Q[@0\WlfpJ-t,Ϙ9~ EUC箏8?@S1:wܚ_Rm@[QQ$_:[֝:P侜d/yx:I $"02>rW/Yrv C/an+:ewJ0M]ɽ'2w1oJⵐ8'#q@wq2$maY7Pcy!YՠB 3@j<Xө)f߿)ihDl>ٌos?GoFd ;r|J1Jj :4F-D:25|fɰ߁Sfj}ݴ-=5㬀9 LZSk%n@̀zn Z-W::S(|1R0?8eٕH AޮOJֺRywn*a t#~ƀaWhK"mb\*.؛LpM|0<<d[HS>"3D:C/s}w4vV±2؏^'^ {.y_xBWOgi.ƄUGNu| @){$,֦r:t1)Bs*̞~.Y R3pM_y5rzkj! ]E?FlR$rcewhNZVJaT꥜%3!DP_z'[QJpKr9 "y &dd0G,ACO)ݙ3m;FBdUϮyWl'%1Cp