SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info - - H3l4 I Bertrands_Postulate:threads=2elapsed=72.683cpu=134.424gc=2.240factor=1.857zXZ ִF ! #m] ŗXf1-q恈ŕ[p){tE7SS]%Ŝu+G˿fZfm9D똓ч #P蟊xa6`[%J?D-XZwi g[Ǚ8$S3(vV9,{HC-lکOtv=y%;k2e(A'f(6>ᢃNbxxt[X5+Pj;Ohwm2 "vu4WJr+_䑫3Gq1u|"R!+܌-u&_2)RZt|iu!6>PZDdkL-IݠGjDJFDI-[nYgB)(q^w~ CsK$ނ 5"Zutcҋ)X&-Nu]SN\:4NaD.Y/h?l2lkTK00[5p?$KxBs%'5 8?#H5|]h6?XFRsS?-7'ߩ@aXnf=7ilm42mܪoVin{'Ūje}q:~+rnḓQ}?\<&ehJ%QM| Y{2e#]4PfQڑt)e_jk^o܌?eR*',"0ʦ]xt?XB- z,W+pg>7h 0{h*o߱Z4DNVc@ k4Cׄ)[8!_,r̿ǪYo!ZAĠ =? G ?-g YZ7zXZ ִF ! _d] ŗXi%6U^ugL|4g;a3:¨-l#*`ZAsIuM\u#r Ьbum!Tc#\*Ћn _jꥸ)T@%eۄ@*1߁?EAC.z}U| yC;hs^DKPH5>4 "RYnv{"YQ`X"eĄ\Pө"QLQjoq||L1'?=K,Nt}MH Id,<&+Pn?t@>`'pc~RM<+ƣ'`f]nEld7!^1c&Jx0K_9dhS ZrDcTi6V B *>{:Rl~!%Zr݄Eb%M4F+LҬD#Xzʯ>j5L ww١;n/ڎjqFAf`a[aSLY2BKQ$^ Qro26+$bLS6(||#1e蕟@>@= lA"rTM8\z="l!3xQ8mPq6Ax'V{K-9d|QY>p| 3 Bertrands_Postulate ?ЛzㄗqN,p_!#ɗA0WJVUK.^(ŀ<?tw6 <}Dl|{14T78eձoP pAFڈoq~x=,ɧ9[֟DC^6ߗ1 gÚ!:*[T|c}ІH/Q"1.N5i/sPg¬+7pПPhDwBقba!,X5PjH Huh_aTm9tmɱrIA1VfKSɂB;r֕Wբ[9.&ʓźhyQ}Aܧ!怠MrVbr/q~c#Up6R43%ki4n'(l {U!~~ح?#ԑC`00RAsTM++ !F