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 JJ3 $ D ]% RSAPSS:threads=2elapsed=21.162cpu=39.908gc=1.484factor=1.897zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ\e_֠PRjsڅ% Aքyu$5!z,3K6TOIuiN6W$ِai` ~<Ȑů+i7S(ȱb¬M[ Kp R9qv bD}hP2Uw-i@p,Ooo5+U:q99ys>&Vn=*-g׹Z(#1zXʬJs^LС>UJo)%M17>b?[fNQ a o7HįLb.+yp'1=ARa9BJD#C̥x5FFO 8պBz(P #'߆5(kPr/XXsKo&'ZZz;H[lQ`mrkGe@mq~T-[91,֬Z_Gedaպ!uӻ+ ~r[8-c߃1† =Qr+ "եa)̍gYZ7zXZִF! 3]ŗXiɟG@~W/o&8-I%HSDO()b% BvgJT 0pʗH/m7c›a$[dIMjݏ bfɞYӋ+ 5uO;mzU'޾|!v%m! '9z < /2'o<2Fs_ƨB͖6PGV.Rh=yIeagYZ7zXZִF! q ]ŗXi%;:)_VA$ul?ㅿUxIFCSMjJXTt3n͓d kO'qijx-O )ku1;e^n)i%x4[C 0bILJ3ۋyP;ʴrS~Nu$7dcrыfa7{VrC[î-ZCpz$i_eKȿ%uf+8 ~x*3,\v0S\,e| ]QRއb͙GwC^5Ӡ?22w齛û4^ҧ/<OHJK? +Yvco_DVsɅXsi )/Xb 1̿TypTN-ƗYyo[FL0|&pL=k bLAOId^'`:5aԈNpo6ap`ZEs9 Ua~khueA4P#ktA Jq kS8MtuYE)Q!On tb K)l|uɢ`~F.WgYmOOi7j3{KRV3"'ϰ>ga0npXE m6"Uc,RkN >ƭNF'~%{Co5ßn_%ӏ }_?\ۚnsXD.9q'pL xOQfVN!檠oOzr g} &([žQ7؜`-Շ7BM̩NoT5v<"0ɬi]VEc ܗ/,1KX,b%&\E=bKtX'5$-do.HԼ<{~Zr wY3|ݡjGQ._~9C{^-͊-M]Д.yÖ}{\5qNhaE'gu9O$P/>xQ['i+rs ;nI^ʿ|7ՓMj2 ìQVH`fYOK&].G Uc1pu-Pr'7!ՑO)c^r˶.ӕ4 "E]_9"Ť-+F_S^_UdJ|jg|nz*ZicWޱD}6xt %/H{Z[ʐi  &gYZc8b2663b002c07be415cbe9c59ab4fc2eaf7a98319483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f 39bd0c9e97c131f728b85fcb4ddc78156a8aa444   RSAPSS