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 --P Td ] Corec:threads=2elapsed=57.960cpu=84.244gc=5.696factor=1.457zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sL3d/ж: :]aP׬ÁVb߷)0[.0=koyhHǴt&A7#V=~$/nIi_-')ؗt"v/b:٪_68Q.Ey>CÉIΫt 3[)ՊiK` 3&Hf~ x4̴ޔPc%CD.&B_T-@UKB"6H% ?x_[ Hu7>!J e!;Be{ߣ#\mjUGyk='gYZ7zXZִF! a]ŗXiɟ&zLoc 8٤[Lu"ە_Rަa{-CڡZ\书f9h%a1ʟȢ5d|#?6 HcXN}ɳatfKZR/hV3k}$ҷCG?a= U Hc(-]@YÿiS;9*RwSS\yۇ:jrO2)QZtcx:l`X.ĞMq2R\p; .'ڝ EC;Sy:2ýus&y"~~Lj:nDlGX|t <`@V@THAJ };Zr%-~ltcS' Tf Ȫ$ ]# Lp32t]ajhrCkLћp)3;6RGMu;K.͐!ULz*m?r {O<nͪ WL)s8VF0,,%Pyt2ia(O.%,׷7 eamW lq(u2nXj&W|jgmWm]>ť=bB2AS+ز`@- LBP9Tq1CSa/{|N#͔h;i$_ڪ}ĕ"1V⢠ez+F*C榠#TwM@]x<65Nǡ722ӿu> -Ԁ=Y>,iA{`Ԛa>{|~1NaŻI) Txtϼv9"U6|[TB' Q.P&|&Dop[z({m/*ENQ=k(l1h2"y&ÿ f6뮸*9"W&Kk>sX[%HyJ8GW8]D|󯡚)O;#̧)rE"/som?ioEw) b.Iq/Cq ?fRJqN?ȸv1n1QU@]-c8L Hr#+ӱA:!<M\f U8[[xwߍWVi53;-y p hW!LI< S+:$U[%Wn ~Qaߚg7>  x+mUgA{خہu@a<< babJ=@İh%;.Zgyw;)q;x4'":(̈tgnʈCU CeXfN3Ռn sMzyp#'1U