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 //F'\T ]w UpDown_Scheme:threads=2elapsed=78.098cpu=145.512gc=4.068factor=1.867zXZִF! J(]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Drvt̍Q+s!GwC'j$Ks]C*I $C7ʰUCՂ܀}:3MѫⓤarŽ30d|LJR7Sl*ik9R(9-w*€?$ZKFj1$9Ts*& h[ cFXjG\k7Sj01ܵ@S^6`2)ՕqRFI/EiV}h}}?iM)Z#f3HƝ{;O.fQ@L{m>rzԊD=AУ"ٌ7~T Uh8jXe)מbk,YwWuK%-EШz[; 4GjZ?c~YA X DQlApAz gO(%Y-l#UBCvf7+3f/wZ !@dR~8G E??fIS"hy4C3[/XwtprA(ke4]'gog{޼F\QQ&|@J`7%=DW'-Ur&4ƓIf̹Z'x&E)JESmRfȍc\Q aC#)ή8B? \PݿM/H*0:5aȐĶ#Nk I b8Zṇ .qTI"*+vi_5_b #=voR2 qUK"*Ry0^B`EOJ̅+l'6M#GvM;:DB|)lA$z_V-n9z >{4o܅w}V=[C$Ԩ7̒RJ)[C:K5ߠ:T /"YCv 4*D[]#vvDXlZ&\\6YV1,9`6>~CxCfЍFHI)B}|SQ07Bsn`fdkFk#O$5%sqΔ qtek5N7ܻyF6+^`UR|m`aIȈ2ȷW  k^`vzk~n7iE)l+u~T^yosljc 6)kT+;H.+\3`)x{ CL971[R"a^W2&'ݪv,Dd)\ǝ}J|ΑH&sCBM5vv qJY^/uZj oK:iFR gM[#uaK5+  ' UpDown_Scheme\QaF|C8Λ,zD{ -S& ]C3"yRCy?*!f2"WJP?y(݉gB$> % +w(s\Ɩ9L|7qs3?xhѽP7#6kZ5͎Jي3{Xѵ%x՗7ݞ%N[ F_4/:V89ZM UnOOK(y]P;DtpIej>>cD=+&QS'5"%oHite ѓVDk>IfIiJ$WX^0pԼf )_ h5ib>rJIܹb*/p,>- /z,h &n6>h|Mc5ρ agd+PH t]=&9eMaeI D$鎎o˯gxPU@+/]!aqK#5G Z %xuboRm40fD"Z9YaKweotwj9nRD(kq([0uBoð@0yXqƭr%{봜e[:3MY=ճ K`rI*bO8{zt0so\T"A%u7?HoO'bA,=uʧGg^ )A &lP;u~Kь7o 4šdnl&` 0OJ;}_/BX7oE2YOOwW6{k}59Vȝp`d1Ӥ劝=Njz|߻jZqqxa`E0t"I N|YJoo N}o={,"pr-4e'3;{$;_v6ޤI~2S]Z Qe1ET  xȋN Tjf26e0B8O 0:߹8kI6"I9 Pu]ʶ/X- >WPo֠oW'eW%d3őX6>8s̘-:&EQ󨓰_le6=Kgp`k/}PT_Vt7iښcl N2=g?V#NIuN/)T8Q8x@>  C XJo`NQyg>QRہ _oO-&2~Rkh &Fi䣈Y;4P"{CAVj.0B|rtz?F{{1I78 `cvżo %dT8.]~Rz$. 30jŲ "j " d라M!ߜpzWE]™=E׌ 5)6Y^q0JEgK؊K򄯮,ݖWQ<ѝӿL=i<Ϊ|%R'"aK pu6(q)gwyKdҝz6sC>sbTx3go-m pXFձVHU$CUY0؄DpΣMX(^ y +v,M#X>U)6I 2ri]C@S83K^qEM;?bb+:A ;`]U cndzwO P$FE|+K.-\3&9}Îs`Ny:-(|Ըw Ef劭&+j2$`[!ޞ*B3y!WZĝGBh"!jiq6 R_A }{1~  f8GpX `N;pؘ >nzڲL ._5jǯEtQ8F*^oujh;#pb"fpc!=@yG_A\Aܥ:ݍ{a@>-|[K#ܼ3G1j 嵀.NXJ.5[iNv@`&4l3#ǚ~Ia)O@f7!LgYZ82c64f055e22725b52193744d1d6181c83830af20a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c