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 ,3,< I Bertrands_Postulate:threads=2elapsed=79.821cpu=140.908gc=2.224factor=1.777zXZִF! %]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*k@^T~Iε(ĕ͑ϙl`fϒg˶)8M_dQJQ9J5b&1S@Fݟ Y1=gִw֑jVWՅkO`D)1#Te%-aX~7l>.Hޡ>u%lG\IJdɥ@l"K6ўU jqlT6V>Qab$@}>Y hWK>^B.TO=9R †&D"瀹Ø!]= 5ވ6H*!R;A @KT}5Uw-6Qz+*4~ۭܘ3I|؁ߡ[pU tjRoyPYnJ~vR z$ڜiȌD5TXЗJ~٢.xunx̲#7e}.I)|NF}!'؛rHv"i[ mA $ \ m_`_kZCkƢCC]ݨ&C'7B.(oa\/s"ۋDN NǦ/ ZcZluJ\ V7_CGV h.w{f/*BZ٩BO >q `FnS}Z.uS v1;H}]ֽcCy WSVՋоbzIvm?[_(Tw {%leԓ./(@-ɪ) Bzc5k}$ۛ.{cy\I-6DXJ+,gYZ7zXZִF! ]ŗXi% %äpgVM]w+ jǒjBA,, 9\IS 8pg1oDHR")r[a=*{ [6}|#zQqfĢڕN[i mȇ DRiTˠ@w\]{^-uQ|3ejtӁ 0[BW.0_(ĦWIIQ}1(Y1Y:JvX,6$wl1Gχ- e.ׄiҷtquZ\nlPePt$ilM~yY,髕 e09![ỈH.[4P g=7;oZ;G6;&]!_UQDs#H$ P&H^!+&f>4VCCu/>PZӽH %jzj >4 !mmm[՗RK(T!RH,zkgi2~3+YGv`%QWzb3zT­.-Kb{* '}t -;輴5֬>"-FyPw4[A(!NWMUtnx|U)zӼ4qNQIBbefqY1.}/߂H2 3 Bertrands_PostulateW W8sw"{3] op8 u1zHBx9ͱe д^ߥaܖR0"dJ.1u3dzivqT@6)ݞn"#0hAH*;4͑=Uչ!k/yZV-r[rHp 9K2*[`#|@/bW>o45CphZ #<"p3_N6[WRloLVDr"lcQ1̡wƟ^j`Xn:G7;:K1رm'K}4G,$7E8*Ӧ?q;Lԍ|Ln`RԶ&&2y 7l>!GrKC0ۚ-567 y0>2b4!+Ɲtk{Qx*LK.2;uPo5X\2Z*օԘ @hfKU4N#S{B"V) &;Y ID@5f!;^28T12fd2e?ۥ>E:わYYj$*CXU{ei Xkeq_ZnVŝ3+F21yM)[y?,,P䯲ᔥQnu6TNj*ܾj̤^HÏwRXƴ&v+oPa<\wK]K3 VQD&/[lH SQ5@HxQ^)NѾ1OBdw1 Bcฟ#b#-ǎWl'vtMv,2X3ͅCYlEҠ._m 4oH[;z-eŗ}ISB ".LϘ.}, Gg9F7e_81#p;/A)Ǿa2y-rO5y /ԥ$]d9r Pﮡ4<lErfJXz}Xd^T";yC/wf>b]o-XnjG>ڧ2FB*q.)`.Rb 2$S{'͌+ARh x*Jn-fP9_P*_f uji)~ҷ!?9"|^UJ͕:vӪ#dX |D)BUS\> Hf{uW7xF4 7tGiOBD_Fm%4HAd<^ k}%5ƍn#x`MQA|@/.qYP L{^o 3I3Ȃ"HT4PMGSV]MY(z)dTu +X^nMK/vݕ_o=fY< H"@`s R'%dw9q,4ꎡxcNkrU FS k N}E&p ]஀.;g!.>׈7lo@K9揓yV~.vÆZzS뺭eKĶo6osbnW*-mJ0l7"yߏC"}$E$Lo1^܃O2vկQ{&L+fL1貟xQO Ap~Wsz 2ڋZ4Fvm5-R1ŞYÖW K{F))iVZ#(e{ 0x10#@zV^韚0RPLVH1UBg$@$#H^Ƶ " aI*q~#ʁx\fs XAUk@EDċA 3T[\r}-yW-p_vA&=ۓF:HDWQz9T ] g8U><7xr7GraZgtS\PJyK;.ifX+Oi>bOWٳu #QWVhX'U `u,i X?'iǗC1n$ԩ}#2 }\ VBr0uy`ge_NOd5s\rI0Mr5!:XA殃}+!܅`