SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &&C/ T, S% SDS_Impossibility:threads=2elapsed=64.812cpu=94.304gc=2.196factor=1.467zXZִF! B]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,7 i8Ԭ9R}kkܝ+/x&mI%2ԙYpUK05L|L-=J0~gfF%IXON O2&6}y-V^mrf9m65 㥜$\ nU6HiƯ3W"׀=6L"H o)u+<pT;wt]xH{'cg'bvJkl3"KeX/aALo6Azu?YHUf K0<¢ (K1'ToPF%8jree<.> *&)Km 7T;5i_f(>}'i+漾W]A46ˆl>rW`5yDS>] |e|h Iբ&_% *HvT2nќi#,,9s4b.2,ozl#Br@4{W%Oik:\-WEY@R V$9t<@҉( >ש.mP/llhUO z0i,@Vj%@f@͸PLjR\VX3.jy.*kЭZ Y7)Lmj[mc΍g.&60m{#gv3*8Y1,kj\S@ >hp2s#. 8'~9ISҒz!UpSyF~8f>B>BQkQ &'eb"xdM¦;F߈įb먋asxab#UV1tMS{i"t_ @xӋ %_NUENQz=1r.v7f_3}~|^ l]ݮ; Gʨ ?P( :2gF-`-j!-`5'ԏXډÓtnF*51|CyP`L~*TYh8!ta jłxPGF/rL]=7q5G\ٕwk&BL\Xs&tc)-Gx'eM;p q_*I7lj|m%Iwߛ O!z+=%'ϵ9XK >QY!YI 9!ȦKƑ}l Qji QmnUU@p2b0`4u3ܸԆ Farm3Au윢s 2g y'-91‘n1jNenhrՒEhE' Bctbc&kW-W?,}f<<&'"jV`2˯׷!e&_G[R 1iء(̉|Զa  y/0*`;?/./xu];g 3U6TՌ2ZD y6.Ч#\nuaKс͊ՆUn2YyA] s,=FSNDP :k]V|gǔxurgdo5ppS 1snVxi?PçZY%)_ /]'r e_՘u0ݺv~DI`&-~?5FN -1߻E`$} 7ei]_p9 ~`n?eQ\'$2Uȳk'S7R:0?$Ў&|eV*Pie f3^׮>JW,}X>tqEցXAޫIrFf: $@96BrUՠoA|,=P5E5ƾ/GqZ3ㄚ8:6CF~(! B ` 3Vs{@bp.٢*u`II,\§N'qUk\3&;(i k;hHOXT;E]^sI@lr:qÀpHƫf5|Q{ ˉkG$H.:F^)qlj_}J@\ \.tkm'0ܵN#t˥,mE42TxȍzR8gq= Gbtzs ({.O޿i8R&K:F?x&onɺ.gVr a;