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 B7 4 / WHATandWHERE_Security:threads=2elapsed=46.622cpu=89.440gc=2.772factor=1.927zXZִF! @ {]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL/13\zb*o0(&6֢#HU\1(5BJ|qd*Ajd\2jzuu}F])Z܆̔#on}Q6y h 7 WHATandWHERE_SecurityL݀b"TBY@0&x1-o`hȟ%2eRZ!mLɳ P E߻Vr(HB͡ \('*./ui~Yo@rQF`?V"8(EѴ/goz ͏2]PR/ 4̱^&V^䓢 =7mNnr5{5g:\IGc??iOl15t *4 xYQɥ:ʬPa~EwMq:.ٲ?"lDPsF Y$sdˢŢWGD Q<^ƪZAc}{`${/]meJ!AGhe%6*¾R;aytO 1+9O,hE}d6^xz]MOxUz}u6rs`GPV:o 7` c,>ד?KB?5_fO%b%g uW_JH0!pCt+'0֌tݠT7/$6X19VQݮӗ&OFКza-(aH ߶E'ZocRX~wW wmb2 c[zvX / |@,@,SW%Ñeb39;+*ɻUYJL `X Y/PO|^TKpH.B|!Ϗ,#UAnuCtp%"ր*y()v/؏޽LrЊsif tQ ݽbHLf>yϮ-6AVklؾE>p@wB>1JƋUYZ *xE"R~=>n_<씥m9t $Xf=%2/Mh Q^`IZBQ!/{2`7v*| 5A}j_ B&?k[[EhtvZHAlpu-,KtGyFoEf+oZ5 5Dk ?TZX1H:-IPDc:i@ %J綛1SU|٘ 99'jk!}F"v;Ux=1ʛ{R/=R+|-OQ_PIIڥ2AJ,B[P&^7}b֣N;jɝcG$3)O5qǁ NU1;!ů0xVuilZ\Wh Hߠjd+V ?&G]*oL8~$pd 8tSoaFbEQ`D4DC9Q#A _6LEdX.ەc=S=lw\S@2cAUo6pb[Ծ; h4ħ*A-^r1h({ cJaz,W*#b'}fZ KCB`ֵ'o8<!H+Sj  a*bNb|K3uon!qn>]~ޱI&."Dq)I=&ĵXV좎Z׽tN|zՖ@gR'|%6q[`뿗Ymn']wM~NEŗ6?Gm+|)Q $mv,/;y]WA:w16~Y CKK\l95ж^›԰}LI?d!)ykI-H3 ViyɆ mMԅm#~v5j 5D",fYU9-WUgYZ7zXZִF! R]ŗXi% -ڍv C_Ph}05O+HAq6Y:Dow5 LQ_5-O'oEj,mX_A,OX{|<ܧZz2c3"Ypx[lуenGPQȎɺf8~U*/l)+uz`* $3Oq_ .)#%%] *"hPQR>Kn /.6 gw 'ܒej)-mvNj?A'55Ł$,Q)S[N&3D{(TC2:1)>?G>JY4#ov çHa%6rbrTJm=|rkaK92t~wxkj65U?|ypcq KT֘۲ rŠ{R w?Bc}HPɦ+7f,&-Ifz g<@V2)gb6OOJh?פ{pTi:,xxSC6vh챯-5&14$-#I_:-Ǽ@wST뼪~#*zy%z<݈ v6CdܔnĖˮwVtZ;nijDDC#.pqB}FC|'9`1*ņ絙H[?~e [ =Dڢ^-V0$L;_E!CzM•$ơ٦p1?z޶9X>nAk0HͶECJ*JJA um%|7n-QeOZownk٨sĬ1W&\Tt+덓Grt[ gj+IZ~˭}  ; m=@oͧ-n, RePT2J:87j;ehR{ZW3Ux!{n0jZј^y tjl iy@{ UaW&qGJϧR!FdaAb@<*~c MDu*<ꢜ~-?}w'muB'C^>Y,k^FN[*x\uUff7"E1f:[{%b*9M%7`T2cyL>@K4aZ0Lb^DI*B( dS3T WgnYl]b^. QBTufۂ@g8[֦u")8'f*x:sT\"{u0w0܃ގE W%SToy/kLD ѣHϖ>E9O r_WUf*~xnDڒVEoI]{80uPz߷GPhmZ_-X9iƈiB1 8}mq >?SeЌKݻd 19Χ"_iڔyHdgYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee ce8afd10ac419670ff92421eb7eb5d4a9f51eebd eb74f23254781395870bf911109bc107105c8b5070d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9