SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 << ]% Bertrands_Postulate:threads=2elapsed=81.374cpu=149.684gc=2.832factor=1.847zXZִF! %(]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓U|Za0A#O,!@PDjށnoH2T`MN[p>9&Lr3PE͌Cx{` 6?w"+*/  *fFJ/p,@b?G n) ![E_ʄy 3rr+,wY*wb!xdcwX!W˽K*6]i&ym!̵#y?WH@[JXn,L`dē. áPާJJ 䊁pjwɷ LKC0(g;N_l -WGǤS7{FbZ3`&*{(.?!^Nq8;@z !NaF%N;3dt $9$R 7eUW.f0QVOm/v|K ( yAVJ0Nfn” > %Ƙ[ӪT..6Ii6fV˕_f̪w Hp>ƞv#B7Jv:||>7DMU OV11Q3T۠"]TJsGW#~j(Eq#%CK_3/G-U_[L⿹["~ELf&9ٯ@NҜr6!w zM67ZؑWQN˲b\[~@bMIL%\@g'S_Tut_ 5y6<odk႕Z9;ӌlB*x=q9u܆`: W3){W g 9 )ȬZ7q1CvMpp$nJigYZ7zXZִF! ]ŗXiɟIPDOB`7"p!V9@b3)*MYKPFs$0{d"Kؤ^Ԏnn#lnDN/ہp+ W1s5/nbʡm3F&6,fU>rRh 8~]zJ]+ݐOX6.kn!'>7t MgYZ7zXZִF! X]ŗXi%92x? l尭EȻC(U6ٕ1rl0܅k* aq1A5PFN܌ U8hȻ6u<=SB_#Ϝ{uZ-!T4t+pbKG,>« #>Af@xu8ra˞Ư. *O xWbV=ScrSVK&2A3Y*Ǐ!HuFQQȎG). #{ႲH9ƙzTүskOc_LNQ9*D=K2т8:ׂ>vk˙fR'6[1̝5Zz@ MWX\,_xAY#DB--9+ ^Om+:+ԋ1Y7gڏ.氋rټeGK:=|FL˘`\Q]+O=,f"xG4d(Y"&7ɟm3Pn.u:(2蚢4Dˆ*KI\*Dg~ C7kJA{zN~ [8[^'s8g83uم?u6.G˚ غt Z1uO'M1܁Qy(ǎ2P@(CuHcp ^hDREē73Y;VA|s(Ye76ԑ<c[[*ZdQo`\X<7quo[D|C#a٠vȏe1Y)78-t't|q秒>Ri^p3ˊ p 9Yt]h3d}^6䐎j S3j__p9;!cWHy C~!PWGpU< ,1q NdUX?<#fCWM@ӷnHƠGSL>Ɓ|PBc^廨bèާO /I_ 'F%q?JvDW`xUfpP<aE5r2?OoRBƔTY>j^fm27".v>3WY#4y}{ uejMMF^mH)G^saM4S($1*ׇ-ׯKkPIumVx~>0zc'#TB+Vk4te+\M;U’7vmi7a/GgLI9Uw!ȹn2|Ovzm7oWPrÅr%jWJ7Ƣkc#斥=޼x$`3\fs}[(o$[okЏ[L6Ky+u\[(_約fW ;IS\*$́-.nt^pZMyMē!N%JggzYҎ ${Gt {3%T3ZUVI}%CH'mCyp6&TIsrLΗjrAc$vƄw>b>ATU .JgB &3 ,EGRTir"Z01'(ٙaa]v|AV}l9}y8Dۍ kYEkΛtTV!-A͎T|!ѕ^%v80 nN="[w4qf+ pH.jdu  c;6ԩ]~*(h[X)QNZ j`ӤlY[ya!3Ϋs!K {cԚawR+mWt=7:Dž+VTcS`;=ڶic }(d1x٥c`*05۬Ϸ i܍mn j7%OG[Ä>WͧHʈc(y(\"--l7B?si\?EÈHn)u>+.LFt'(O i\&oHZS~˷!Q~Cu 06¹&^ÜraBC!w(W&NӜQ2ּ*]V}+ʣ js-wCdRlTܭ%"x#3-~A dLbOP)4$^@1Wq8$Eh[⹌ mYZNEUi8Q2 $dWN?o˰a'ȼT\)P(ZAl0H,5־$J((#|fУE;rJ_Q$۷ xQG|ID#\l޳Fp-PaO<@~9Kz*^k$ЈŎ1Jq"RX /JpyŽXgJS]裤Dt(kOM8X/Kَɕ">P2GUKlT;!]v;Qa8X?7- 4ijDpm${`s yQ,N-5u,i.ygjűH< ut%6n۳y[Xө<:w֮sVfe{X#>5v,F %D%|x(0}0ۖ<$,_**XVJ_"I?mұgYZ89ffd2521a0e575e5f9bcdc0f4c055e07572faca0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c cbaecea560ce2bdc6403e4c5ec667b0e900bc740