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 <3d$ I Bertrands_Postulate:threads=2elapsed=78.994cpu=132.984gc=1.912factor=1.687zXZִF! ']ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыkK}K\GA'Ԃg 4Md?:OK$ rYF@`Uc72d! pFAqnNX!X_a.@e>|c3&I D6@-Wb|pZ|TUi$:4=n9.+w09+!Y h+'CE"G 4R6\ӕZ2z;Lmrۻ5 "N1 nJ<T_/莿tWoӌͦ. %a=ebB,c̩yA8#{ӡHD8ݏKTMq+ڴ9#j5$'5Xͩqp^((c/]EI!aNMrח4sZ=Vc_mqW_Da(FWҠ_C1-oRD)oIEq/쭚Zy(,rPas:ъS#0|*3 !mc7p|u%։oޫ!W=!ct3s CV%քE }8T?Se|A®(l6 = q2|G58;q9 䴶[0 ]xZnp3ڵ)ELaaGT(tC4gIXz L5/&Crl8f4 qF 6U~Q0;ͨ'VF9 ⼩9"?-NOY>gYZ7zXZִF! {p]ŗXi%69b2V˚0[QU+^ahA[_:mѰNrF%f-͎y/h3&WfKŌ* *(0ҴJt߄c(7^B'Ve>uwxft" n41J&? 0Nj Z<{WG~Ya:gK-VB,m24.?2vQ~G?S*.Wi1ƆmH]Gbw`O"&b":lzbx #i/OITE919ЂnVzNd'nzgUn& z0ĪogLdc(ߔyҐv5񡍽oKTUX9 ~KY͐`Q&]ng>9; /eY귴w,-|Wf%U&r;1X}ض}G\y'  N-g /F^Q.y/=ydJp;!W94'w'c^>\2AϽ=)&YDKqy",miCa>RMxf"8x2^'i:!xXjS6) d:o 2z_s>;6"{!I5%B8,\ޔxQ1'ӻ^l#ł@; >1՞7F ~aPl2j%GW=[ "RAWN86m_/' y{?p]d/5-|[7[}nVE'ztq 1o$;qI7H6pIcB_0 -0 uj9D]%@!3[/"CP2T+%JFs!+x%εXɛdnשAIٸ4*O@DM"<[4mm- k3FC)ݘ0b[G[,Hn <-Ɔྡྷ…uI)B"(؝!fI c#6lsܩPA,RwQZCQ*mיS:r`wBpuH+)6Z侠Ur_k FygZ3AXpqkTz(M'7e1TXMPgy*h,jMS*O갦FϻV88"ä0^Bꍛ%mu9hMtخI)IZ+U@D0e_ /mF3aibFQOeHynPYYLۙp oTC|q#-S9B m3Z*Y,kKv8[oӎoE~D;X´Wiry& YK )FhxsYWb O@Ոm-h*܃Lwa Q'^nN~ /Īrd9ؒU-S!utdF`2T&DdS pd h1X3è>:Mld ]ϪY'.\=K5FoN7Dwɶq i{[| ֖3XGt-ԷVo.g؏` ޛP?G2g$A:͢ v4 ~Vj_영" X㎬!pCէ (:@UOE*eU vϽnh@PoXhީ0.o[\\3 RJV1Ш\r JKS=RB0a 1$~^2 9Vmf}DŧQCgPkTuU[ks0;6"v8gJ.h֭eY[Ag5) GP-cO%aM{biY$(>!Ml *̪e>/!h$э/S"Y/OEiϫ%6XqRҔn RG'I|Puyݯ"jpng8M zQ>xo%3^utG)qb;' -玵j1tQ-r_O O򂁶g@(iR٣6F*>EZ6l6iIG2HΫS1o,rܼS!&tD; INd?e[Lgu1j/$TdoSET}C_I+vbKq{'5i@MCn~ S"b/q@|E:2@^V;&Ĭ dnDbn;"v$@J+ŽEUWEk;-=?6jߨ\~I@!9ICZe°xe!7`H߭uŠenMekzC FUYJe./3Ds'lϚt -a\yc+ىRLEưb,x rnqb 8%SR'DDU^NԬ,Xl &SPGrsXF>LPШXGID;pP@!GaEb [%WVb.L_SxgPOQW12Yam~ήvםE ([GXGv(`dSӒ"_8wG Y%2Oc7_#[sKYn>\G~) p"1V᾿Jj an?mGrf"MGסUTȝ<= {xnzwہ: jZoB[P5)E.o JV{Q/zAo6ւy^ȭ$6lB`m612*hAl$eT)C7ڣ>Jնv$ E6z?e-ABlƊUXhdlUIjցزGIZg6S4@5_oT ׊H2͂ 6LL]&7^ LN}} ɳ\ t8xN%R3 6xEv0E'6]~:4H$r Dt>Dq8?0l tFJ0C1Y3V,/