SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j%l< % Finger-Trees:threads=2elapsed=15.853cpu=26.096gc=1.708factor=1.657zXZ ִF ! Sn] ŗXf1-/6vRZZ-=X@ 1-PUL7 J9k^j gHv8] k/rsnՕy_h'[FKC H7Ks-粜z/\|'KzWx(7\*U!C?UCXmջgI|eJ}Eqz?a~M?Esɷ&hpoܪ4l a<$']7'fvRx#-Vb9a"g'`fnTa=0o馅 Ɏjm %_D/!&ؐڒu-nJa\ym,M0B}K-A{H@RzA(OE\Qy²` T믓(rpo*gDDλyr0r t%D [RU;/t Wh:P4~Σ3[=x%j19q&fY_!UV͇*Nqzv]"7|8!mqC-bs0 sCrEi}ض! <:s16Eh pK${|x.^Z1A2]sŗ#&yp/O!{ Rb[wGo* +8D~O/!Ȍme5\_LwGވ3#:_Ŕߑ]7zY|fn?D^n,a F%Vr*M=LG[
ϫB:e|.D oCDOdžLD%aJDn?f}RIB,xEи#Xf{.5ƺAg1cwkuJ5.ebZ7h5 i寣MW:u/ bJ;zoS쇑1#i&M?=Yf%(<xBQY<Q?"dݢhCeJ_v\A^iq~H\.+fzh2ֈaduڣىVO ! yӪ٠ n4:~pw SڒnŦ"`-R^ 7<> W6b@e'bpg'lѐjafVjL]rG5Nd(c~Dٟ]zT:b/()r9[Rwsڬ,<[VV%UȟL(߉< 4CMdpQ=k@OД~stk lF0 Sƴ 'A#GS u3d+=|yčs5գi.+rY_6+mh4R>WIH5r|2S]\Uk5mtGh M;wt-fDIf+ˠtǠW|\MsF۸