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 }}1 t< m]HereditarilyFinite:threads=2elapsed=13.648cpu=24.876gc=0.808factor=1.827zXZִF! ft]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?I:RMeҝؤgq&@ϺQ&xRgAQ&h-C%9 'piTK{%e7ȠjJ*9aϙOyN`qOmy;)1N<0c"K>gWaVޛuDwWo}0H=Ctm2 Nݦ&"k`qIү_)H -"`UM3 ;>ƺgCJJw\Mthsѕb"d+ēvJPZ6fmMBlt'Ybpwf & Xɶ:lbg'rOiuOUb}tq /gF @I3ZIҞAA-05Z:w@ 4ڥNmsնDKYjzf{\Xodt=7%+I0G2 0k.Ig XBq2m۷Ao>?rNc'V?TL\'i^oiͷ?3>37N5n~&FscAE8eȔKo&ADOu,0fj1FT:Ut*mp$+xdzԙRW6Hg NB[T'5-G׭NZp9 x p1]cyl*xO!ܗDR2dJ2<^S]%VAE؏buLnSZ;7 >?}Oeq̲xvrQֈCX1|$KA=8IJH'sMuJg vR :;pz'N} =ό^*= @\_V H7_P74FRljWíC|j;"![f\TPalbaY]d7跏d+DktЅL#nlW/

8MK[vDU.)47K5r/',!$˴{0;k`/7KoI̞z ˨1!&ܠ|pC\pRx^VKaw\ӎYis .M4iw&Iu b9rߜqK;3j_E@oD!F8G<< q,Tg.O4RR8Y"3(j0#0M!G91T Fݟ04bbIq)y2サ\L<lt| !uñ!YEaim+db&헤PQk rW#P]wO lgtj]"V%l6 o'ٓchx</ގ0OCЀ=_3^QfEP!,*Y41i i{yR)@R)og)B΅͓ˊ_5w>Nr4Ha0|xy<̌b$380W/U(?X~R0r'/'uz16?xoͿ$wL"(1:֔it52xZޡ-6#W^U\M&:o&ZxN4/E$={t":K[|vrSfCh#AA0ይ O2X}o\[ɢf`vS66gwWABgmivL1%a) &Bwq҂ғȏyϮpx xBTfEѳ%+T_^MAT&PҀgU'VyiGMƆ'x\O3ϫc` ?mokp0@M4@]LzIDW% ͕&}`jfmF@mndž<gp {ǹMj*Wx9my4 -:ps+ƥE:'[& F!?*UΓn9%S=B|l=O1HNSd=W~aQ^AS"ҘkKDFÒ@k=,OĊA