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 !! $ #%]Launchbury:threads=2elapsed=47.594cpu=90.832gc=2.864factor=1.917zXZִF! (]ŗXf1-/6vRZd*^6UaNntIBu8u ӣ6)255hIt{;dʋ ݈–&n/"7SN@d1Tix%[NˀSu\&LQ\4I ap |x5^_EzO^8mjl#KBJ Ъ ة ) 3C'lAj~H\YvXfP%$:d>ҷK ChJqFXI3tF G =*lʬ[4\'>=8G1%egA]}# UZ\3" B*Yݨh+ :;q3yp5QUyEQCvP6;UW'& esUfl E;R;r>-Ddmρ`xf3$ 2 * qg-wv1]g>20_V4/l'Gq$#^aVLW++C8|P޳,_R.P `Ac:`'Ʊku2Xe!eB~\UW Vp;Z"2ͽM LKDn[Ȣ$+"q15#ޗXzpEr+D fSoCeXB95`Q}MfԶbZam:)X#rk(`~-T}:qS~5Ï6*ڰ!N]@ףh`ZPK:jx &Z)FxmqD /H+H$wmqD7D"iqc5&O !{Ve4I0(v$ŵO!($b19>~/]sꠀn;!eP PodaҢc#- hۢtSk^pkݒ2QH;%L@(hi7 A<|P,x^fZ&*°bxr n`OCgNo.iPF(?PHo^dCn;dl4 L RKx[sMZ }YQ9V<51 gqUY}.xmi:}gPK"Q~.rt)lpmzKi 0/}  ! Launchburyd  sN,ħ36"tfK^y[ɻҏxp4f2H'vS%u rԞRK Mע1_̀~F-r*1yxr}d37Ҭ_U)/lYRZ^gPnIђ0ROѰwv*ҙ5w3$6Ut""F0SUYL8Z&x.ۃW^T^JVgy_#֬1}-Y/cXaaP3 ۼ.'T.<Ľ_6&Îpo:Ў$KC)R\!MS> ߭Qdz(H占(|K[ P߽:C[EW 7,\⁝!.5w6Wg۳kjvSz0*Z^UjĊGȈv,9GE)~p>F!YߙThu@R3HbB4yM^Ok>zaYW~,<0 %<\tC䋁ڄDeGwti7yco]g-+T_$d-Jx |k 4-z_eLb="x5mQoM1:RNX]Vd'83I){ʔgVz% .LX4if6~;J[0+~ڮigMLfb9?}WN80Η`@zAI$4hBf* "notZ;3C~V4Q=6'Ry܀m HkoPem8 yH,^Ezk ʹ>_r~%\pZ81u>2`W%+de(()d'KZGd!}gd9q8=XFBqS3!0x<_T0qW=Ycud vNr+e} uDК| .ĵVJk'ѣEqezR>h&e˰;VҌN( EYE,\x>I*56WkZo@Ah#ڦt/ Y"} e>\) 4LIaA% -jsGc.xjbB-#RiqAU'~GZ-l1cC]jBJ0&eu ͗ˁHPSWu"E^t0l]X)+`ba^+0&={,ϛWhwFfBF]c4Zf9}Tm&lмf1_ᚣr6f-H)^6h(/OC\íL ˏ7j:dz^c: #2}is/Agy6m[`]D"s\){vOm