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 W% $, w]Sepref_Basic:threads=2elapsed=24.532cpu=48.116gc=1.764factor=1.967zXZִF % Sepref_Basic! g]ŗXf1-/6vR[O!vې&-wT]ïpI}R˱tU1[zE' P,/۶K}zHuK3}SUy[)dY:R! `֛KcnLBek|;ւ0gk@˟Y[] hՄMsZ5\IDu[UZP;aE|w]_ކ/JQWnӊ/gbȸ ce D:ȯ-yWppxH 5Y*_ғ#k K C=HYQ\ƧN-J_K1E!L9DU0=h''"p4}3D"vtX&6刦ughh+r4he?MF_^81C0hd ).o"8`r{ 2;Pz ど)ƍni8 |B%,m+r{=V!r8)t<"[jhӞeab<3#1Cisq9[\Oyw$ɘpxLHtDVeJМלeWYqa#k?+I >reZCwtk8q{)w?X\J ԲL \WE-9W\iJا[%'bg`nzl)˭:{ _*e_Di$BUfDUnLVk!޵)̒hm!_ x);ő%cK>WQtks Iڎꢚ7&Adŭ^l7wag0o^ċgr{a@yNV z'i;!a[U[ŐpJBaC/Xd/8ђ+*.,k#>:dx[7\%H+UV5wf@}x>RłCFݵWO*xnebSp-qK[]-?ȯnw1b_%`uHQ *fCVO.be s|Ń ʐdX}ǖ+*FQƣao>b0ࢇ=0] _]ٸb1?~S.D;X 59?Cr7i)Rgմґ [}ً| It'8\G^d hJ3-v} ?-gy:r'q@iO=`L:C|>N\p[bBy3>pz4k4kRB NYowD$!ӀpdmGG9xOPm?T&"ME>/,W~}XsI[5pSsza}U#eaƟ2M r;G Ww)e:ꨝ,]򮱻.P݊wkhQ$}}V+c۹(jH%eۈvʳ_3A uJwnMIջ~5H는RQ1܄PpZBeotӪ I֬`iatQ+i, lEƕ9TMw6-ª3_baWbY@UkvRaônP4_zđA׍8L GhtDj+)Mc%Wj%)u^*R숶PO׭(!P3V[_y}}-R[W*t:ۣTMU-ʽ|N Ŀ2SװB kL^;s=1H4jGx9$NQ!CΟ5TQ\Ǣuė|H7m_lݼ! L a)iG3{Îa8o[$[VLv&ifxq mȽVMz4KZJ cpMOOi?4x֧*pȑ?FE.kUc7FFHZᨤ 2afea4|+;?2=`94Q_ʉ^@=t+ 沈irmt#QrL*Z'Rs}9Ɣ܋6@Lۣ$٩u+8 w= Nv8 Dר; &aB[2xANվ?csx5aGgwIƚWI Le2j0ffHGҤHX(õ*zs$,vԧo:od?yoԈ6(7~Mc+ 4x Zm7Fh2٫Zxn`ظZ!Z~/a{WSK$Cn2y JHv  jV׻N}S=\|.хLdmq8$҂Xi_X~,q8Y] [&HK1%FRB 2!؉4 ̣-1xsHITJ&0J` $!'N_)J0zBzϽ+i7MސZŏ2Ojˣ) oSjß Xr}+G6{ĝ3=dyb vroWA6z q^5" Ȉ6@u$qiH 1oUا ֖TBF?։ D^ SnNCw]=ynq+nKOʏEr6M#@ -#fdf8{ȝ?]k&=!?,3{I~ K gΏ;ˮk}^ao\:pi90N A⶘ͣ+_m˴WF5#5\6FsgJ6JȠNp>RGx'iz-1ئ4g&7$5Dio6l^NlBޤ.p)MX-|вYw o&1Q ^[rz2xor=stTy Jri&JRV/(qwR#ōOBqCų@!R<()̖eP(^C= `M%`"{EŰ#3wh"Uy@ڪ=)fϢ1`^xLLQ) Ns4^T 5'ΒDg%yeSu! #ِ7I=!s.ĩ.K裳%?y-E+4+WQ%DHB'sԠ} q9aXPCD% !bCPa{&.>OLy xf0BԚ({ LR~Ub1;yk /(o>+_4N}i I]XxD 0AתoGz$a23-fkȀmOyab$ȊQʇ`=$oO?U]I^8}NaN@3$nƄT[% U4uQ9z8M9 >8Jnh֭h3Sa1A}'u=@Xڶybl"t{S®V٣ RnV N*FIx~ -<6biJ-?VԽkt>^ngot^vvlFh$i&C{2Q8gxfGѫNb^XYG#*gYZ7zXZִF! s?N]ŗXi%NJ:uEIMְ& -iݰqab Odߦ y #h|*)՞נhOgY[cMZؼ#H/btFCr6ƚ#?%8uxW}مRs|b6ͮ<טuBX?u?f#b ĦFv$Rt:z6T vI;áG;[IG LC7ZC-78ѝ 1T2 dC_6(ZqCuNC'T$rԶcT8n Mk\k]CČh4lp;Fjke `*aƲ\* ;CMO/(snPkw cgN~(bK`nX,:6'W_%IyRqMo8aLC]~ _ yڿ7(ƭ#E !2Kh\#E 49Ƽ/U)"=^b- s"ʭ+~)j},ʊzѻtX~†e)@pc^eiSŶ?jC>JM#s~peIR  m:[k;gC d|B#X,cPAޫto6LRH,N*;P,*3 ~NRG'.GWD'Nj0It m[R\/4I 6p7Rshn;B}ۼmnJ) S Yh[DZ;\^i8y0qp¬ȴ$D ϗm:(?\Z