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! 4 S/ NormByEval:threads=2elapsed=28.847cpu=48.940gc=1.560factor=1.707zXZִF! #]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾=fS_,{Uj3{bL3[dgvĶʹRZ irlڌFz|]r>3Ox*NDMQDZ6KnqeXtyR–*PbmN"WP1{oφ9 QgPSjv^\sAۿ1?06TYb#VеQ-ۡK ɇ-k[pMֳ}*-n5%Pcsj;VyZ6 bcd '-/+>JIP8}R&Y7'0 U}LUկtB{@=MrniV*y*DJ0"I/2S@,1Jkś2ՐX~>$ s~k޾HJQ(&JAtb{q񵦥V`l,홞-6b@!rF7HVC͎&iHW(U]Ӽ5B9a/  :1 0mPNbˡzLFY|`,s^*$,2XnF(Ό_d8AOxщ$ r( HY}2Q!c6Xu"xS7e}?fo` V_5mF}lM^%(0<3!ꂯ MA%ya2`*2) ~9K_n/E%T|]uۖ !l6RBE{Y@{5”RHOlC?edQ˙ ::q]k!U Fæ2Gץ{gYZ7zXZִF! ]ŗXi%}k١`p|,kbSǕV% wS VHS]x]7=`ߪu+pW*8{}u4 >+<| vdu7_`d!)"wy f@D JS tMй~ 5̬exi0@UA_Kމ=0j7infEbaW,qȜHa"-ڢ+P!X]㦑Gg~-ZFZ{*Xu?L/vm6?Oȗ=JCGF!( _#*[_pU0~?0c˜)A'h^.ߔ1^ -~5}4}9WXE%ء*4.``˝mTͭW<X^,a.r D~D_O78@9q`fd$/@J0d {̘Q-xZD֚F+Yg0W:*ͯS 9vg44r(hYi/+1wRW۽.y(uG^v~%::z*D+]htF6I}4)I֏ 9]Սh~1(ȎRzÿe̴Ok,LsKո/[M{z|`v\Vk%-)BV6jiJž"C~s<V]Mȸ*S);e+3 n1ۮYGRtޥqd ~ҭgű.7P 9о0Xy n44{c7ծ[\=D?;?-}Zufឯ[,ŁH/h+s\66mV}Uj+V]SeEC؁{}M[utȺfǴoﱭؑOD!)WH]yxdm#1k#ƹ)|jW35LiLܗZ18Lk,kLL l]=FwAO5bI'G">J-}T'xtȋ˚~u$_6 ``ų]oLS#C/F(~\chx^pR % 6 ic+F5ZN\[!ŅksoIݼSk6[ҋ `")뿯|c2ƬCJ `j[TY19RWl2ǶSbPgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f  ! NormByEval