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  b?D4 Y]HOL-Computational_Algebra:threads=6elapsed=39.037cpu=115.752gc=4.848factor=2.977zXZִF! 2a]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D( Ȯl橬 xUt؄a`AB6q֢ףz8 _a :S"=^gG^"P7E-N!Å1,ѫcd|I8n=7_(DP0s) A=^Ӓ(/_e[K#~XsϛKMV5D; EgCǗ̈d1Ӗ(d$~AvTlUh+,^u~ Mu"qʺvjyap/cJ{W%t~yzG d+LgYZ7zXZִF! Q]ŗXi%6{NvDuۤ`G~8Br^ϛ=ۯ!?طGW/U-YqF~)l.VaNB#~##tR&n`]ok>M ƥEmK K/O]葶IR jѭ+%Jubk|}sJH4/:H2LmKa]\pR4''؇ 4 r1Z6URcV*^u e)Ei/ܜrzvyBm% ik] nj<:fTo4l:]On#FF*ŅQVͬLT[h`0ۂ`H4b YF4l(}ՓL*\X^t;_{T;Q{_+ m ~`,-[GݢA=3-a_6%->_M$J}+<1Ve0 7 /Dө`6g;m\8Vq4Q JnEѠ.lpCR "Xn!R H.柳rh< PK> BWk^'L]o]B䍲dC֒MX޹\<]p$sJiIg4PDNCF3*yY"kEZ83tLlU^XmU낉-8mjE;?fS'Ԁ3%! 7$|P3!2گ>|W[ܲ{ dzeLA XvJ5t=Q!|GNyl4ᬌg`Hڽ\D#zT<99{κW /VZ%9%*¼0T7scS^Ps1IGY}•}lv߸ HA[:]϶3㛨(y9tpu$Y> }XHiX6%2 Ji0ky|z0 8)Q)x%ʲOՈG=pԴbWnT%?܍C[qVwˌȄ?~2B'[BG1 4 $5J&WKi,ьQh_33`DK:oax /g&:*RtরN#V؏p`EY?4i }~F܎ K/X*?W֓-܃wy4s r0ȋw.ZR(E_ɦA6t VuA]Ə'e`)ORECSu9R vؾҖn\quI5,kx lE CΤ!fh {cf"Ԙ0 ɰ(DݬE xh۩6"6(vlzh0z;8q(n W?,hz͙botߋgъ ׯ1`:7yڈ3.H|cEbHFJ-w)N -RSMd4 o#{o!) g3sD5 ȩbD0dߗoHwn0дgQg#v8 7kGQ>8z 4g>]}1I;jCRVc>oMզ Fq&i~'g"pD6#yT[_iEdxHbVA,Yx%,9*ŨF?h`Պp?*sfKAcLA}]2?.)ecze;/{wJLėW9geG0Տ ]$㯭-DĿɳE@@ _v!^yUOlK|fsOntoU j>/ V-l-"&$'C\k$景47EK8EOۓ1P] }ȳV u[gQo).\y4ok aj^!mK@)$hxiu=KQ1ž&mOy<DB&Rn,