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 o- ,L ] Lambda_Free_RPOs:threads=2elapsed=17.727cpu=33.384gc=1.524factor=1.887zXZִF! 5M]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓXVqZ*70D?{fPAi̋@Ws~TE[Rw8-[QuE` {ʠF@=5ITWK.'KW:Ra $Y]]fRDGd GEQ vO:K3ڝAwmT"iGu=ַb+hхu#X2peC\M˖+ʍae(}]uFǙ*=SA}UV@%,Y өJ 󥍻'f;8UZ,"Cy/TT6U~*2JM4l YWBK19HBO9(7 `E-=s8 jf&}x,v yz{8B8ZzeM}h bܮ9;CÂ~ &:"ؔe?{eUq*vz&~ӆjH}<L&CGgYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7" =Ln5)UB!Pa.g>8 *{-itk˔ǀ"-P _ 1(!p !5;]}8չ ϔ-6k0V+7poh][VEigYZ7zXZִF! g]ŗXi%;Ax^ {KKǀGpDѪg#EېjÙWMwv]`p;+et&M OA& -Lf 씓r{&|+kG@pS,"/c4omn ֛+yt#@ 'ho"G*&{52{gwn~fq, R@C!X 6(Y_م\Nx /^dSҧeD9Tǜp>ad7"#pպ\iTK{,3ّ}o@N7 bUŷlLnkw+*Ox`@aM(j kH]}JG^ܰڰ_Zn͎_zwg@}ёnmLpBѤ;7 wh98[ٵ?>>=k!}¯ޓa5:#9T:/,i#TDRҹZ^8i~J<Tk_?/ޕz}o;w!5>sMsߢ&U/{{sdBaݡ]"DZ)G]9MsqA["(p(R&q< ``+ L4uL<54D[I吴Z(K aֵE[8xsr!{溼DPAS |S3nF n=_wF6]@|g9%ki+ 0 JkD(X )TV7SIs+,z (\Czd;At9:ؐڐ D+up?`z8bPCfxyQz T4,=jpwCҨ{wEanZ 4"Eyf.S)RaBrXHi\mjʸ-" |6H}w#nԸkp)X%LϠnGK[\v -gYZ499ac06782b9d483945fa3f7dfd17e1875ab591979d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 - Lambda_Free_RPOs