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  x x}$Dl ]S Hermite:threads=2elapsed=91.246cpu=142.824gc=16.256factor=1.577zXZִF! y]ŗXf1-/6vRZ*F"Qd嬨D|AQf3B`;G8TgSaYj(c$4V"Ld{Qb].U !"Jf~b ^4',c na8\; /c=u1]: ? [%_EϽ(>xh4Tu͢|WpI~4E%D?6e6\g_G\,kg_F.ƉlL@fh6dogN;eQr2 X a/!nɈ눛>gYZ7zXZִF! []ŗXiɟ ו 44gφDj^ EXҢ]/{-[Iϭ5st#s4;IsuqPgSg<wѩȼgYZ7zXZִF! m]ŗXi%9(PKL3"S"|D 14Gj;ܶCwD)ygh-Zئ`4LXy鿜kK]oJ 3n&P/)"Z7lTJ> |EKbߚ߱̀uW]pcpk*=R܉銺s 0@r^8Q5BڳjI4.ouO3Hk紟x:+sSԤnI>NJ,kFHD/"Uf%R.nW멨ZVi'tFb RB.ð6@D@`{^^<ϤT?KP dVVg3 eoTcDz5|h~gGRU2LF?˒FKcQ'{7uO0!5 ^]5z/R3P"%Dl%0;<*^%,&'R5t8qu;u]5;άо㸋R'&+ۇw!EާNbO]f(Aɾ\t   Hermite' n7][MUKf(af2k ϲC{0~I~mZl(2VHg]j!+%Xy K1rYTF:;d6<DwD?hݳڒR m2eMڊ׼1sRcpv[0r~A(Wj)bkGdقO]I6{ 8;b{>lzOWsIszc$*J7|`Wŧ@wnE0l2O&So$ԂׯN%cE2Yd@#K_n܃#bM*b\ElҮ87i[*K "DѰݍ,qb>U1i,_,:T3O*3l!d3o:Kʸa RkG\_H;LY3^qy],d$Mh/ ֐bX{X`Tg>%+R1˘`*/+)䉶 ^B;6شc?ÔV΃E+ ޸ A Nm!$J钕LV狟B`_5(F]Y[Xh"+9XpoSKavߛ}=0wFG A e.$RŢL- ^T*HEgwrOzw U׿dJN ~ý w٠ "ktuw(.nL~73]FCKB p^Kh[Ն(;ֿΚKn,& 4Z\WC4hX)ySR;7}&,-rS'!NQ-M7aJ#$z'Al-`qxP2j<ُu*}"[uf& Ta-ݰ/fT[c]MF^~շ1IϹXU G. 򳜍e 2{EsQYYlTH(nأ6gS_0V_fJƏw&m34p2'8 j lM}Е9мPePi6UF rtISŠ;aA֘i;wtBw|̄!>Fvm&B3E 02@l:<9=\+$ת6k_zVD =Dޚ֍ ZtrEvk_Jʧ 9j:te}k\JnLckccc~OIF3Aɗf5*OvU R— T_Xsp|rh-;@WBtJΥ*򰅹iƜhsD|̛0j~1V.Z/gjPiFt3MSԂX@V`_Zq3TgyhiZU,oA;Fc;R0H $@.Z,i2J0{LX4$hN.KFgYZ7a46892728bbc2c2b75b7eb77e760810b2fefdab620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149 96d7b6b4474827d4004d1e2e8e9d0e37efa5fe8b