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  L, w]LTL:threads=2elapsed=27.856cpu=52.504gc=2.188factor=1.887zXZִF! 9[`]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boPfJt4D! eEL񊖁}Ynql302 S0 CcSO}qBOs9۟?jѹ}/~3E 1ŦĐoa\nWpbsH"S @[{ (?LG"jCLJD( ??.c[#G~+s]G/lBA-{PE;gQ3hUik̷0hddJk I9iaʔZ n+ǧBxwpBQg_v|zը`ui1 /&agCeudoobA`^",91؅ .\0Kj~nt+?yvZ'r=V r,<V,էdhb(+pCK  LTLc"ŇE :#rS>:?ƀ&ESBjbZ^ <4cdްGZ S-ihzeHOg:[G~_<?e:Chj:* Kd e>V_Df飀י韈( )t;M$70LsOg,]%lyyI)/_[(gYT4 ~-e-؆3n(4+GSYx:yJaZc(f#oYZz>l w#֗ rBбgYZ7zXZִF! .N]ŗXi%KDHӦ_! kw=Ö9D2 ^ :冩Upwd.9g`aiAymsaFsU?Js(6~v8ω67mNxDDp^Cxh#!/ZdVGN:5Q.A'Dz;AIOaȲ)Iy;ҁ j6܊+]'ehQR/= =Ln ,p#Zg74%i5]^$Z3I%4.GLL<>-z] LR3/*u%N/2g6[%)t^NlHq+r2B-xc@ߺJ#(sjg|Sq=i0"@{iR&zFr2h2Z0WAOLvܨ>uF8tqeC(L ^ c5T.u\2~=4EȀ/S+˴1~AgDoP!Tqo9  _6:ͷ%{?\XCLYN/ri&oH*n[Gc+R8`Äʺ /uO?#'p=~Р=bţ:~@M"A"Gk?eREEɌ#uma]Cl {TzUMc6h;CX,P0#cw[ f|mIWF18n R[q\D`M/Hȼh2V~_||돉+?E[ sEo5 h'Hoe6D+b-{h$+R螧OV`6]vص"6Kˉ9Bi5|ĉfb( !L'/ 5(yuy 崽۴@j"ƀVM;_}a aYQ[:?{aWa%|!{tL 3>"/Wly-TRix8K\%@/6|$Վ,j鳛~ƚ* JJ8 f85{{N}U[%D;a>SO+d9sZFB OMYF:EE^$ԯ=g66Pa"vYBugb @1}⼨r&6ck 5H^;ZДn gs[F~XS]LNЎT$` )8LG 60^ԉ\+!hTqSu +%x~1{z|Pq"@mfgYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678 f1454bdc50e5e17a7fe5bee3c7612c578028e74780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c3f10a901955f4bab5505a98c58699c841b8f32a0