SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  4D Sw Hermite:threads=2elapsed=60.599cpu=101.984gc=9.472factor=1.687zXZִF! T]ŗXf1-/6vRZ*F"Q63EF|m^r 0VQgNVRTͮr[%ªuݚFd;^EjNJCQk*79hҗ|Ѳ(woåpdAdv [*^P0pZq4ͳbǂa}FwGuAG+DJFaA|;*)`;iϴya 2ϫBG=i4Z5Ԩm~/<mYB~Aa [J"ibw{PAijR[ۆoZkxS^Z-.Ncoo-v hL|y $G.)@t<sP{NϪ\/$IdoUmV}n")>丶Q'Qݸg7odht~[7OT|SKЈ4fPC<מ;{TЉ8D0'4ǖ9 U˽ǢAsXVw T#.|+1"z3I朗_X $wd"za[??)3%#n Y1Y:7)ǪRe4s=PL*9rwZ瀞b#\8W b\ Tt :1xƜmn9AO`SIܕ#7x1g}%`d-xZnYn;+b/.F#[C[rR1mCRgN=e )2'?ox0Ɍ}ny+x|;~+ 7[!%ڬVS8,;*y!D(,tM},-+_;uXպ&bWwx sb)I=DE4m   Hermite,~)c&+ 艢7{~v?hPפvQR#e5mQQH dpϽ٣J+M/0^^hO|1+1, ܵ^\*mY+prx3rDtC.Sːc`Y_I)Ɂ`Nm$Lj>[zM$67HhfTrL^Wkʿ\?8kۮ濤S j!d\,$VS{2%]`P7X}a(+yR,d:;MK$N 3 0k.&Ҝ.Su6 xvĩx粢gYZ7zXZִF! $ ]ŗXi%sz$7-]*ë?EcCk.44~(cոoe]8U% \Č^E&teNvQB^~b.!%C5#)k&X-Or3O%OCtӐwdՆNbzq/b""JbqN?.nA`1 :HEc^R hu$ڳfhBG^ָB/j:m&Jqa%sRRmA[<#I!@T|hwԫm?YVGKZ!/Hڊ =׶|"lŹJ3V K}~?LU۹A^؏d ۃ^Q<&2o؊ڬ΄R" 5BM-/gI<Vt\ 3!+f497DtO^$M3 YR^eJrW3ҀM!xn;'Y*JnۋzVShkY{7k]/FӇY{nx 6 ]p~e;|lBIK]_f+Fx8ߕDm* &䂢nA oΪ4 ,ecW]kd W[pG@߾йJMx1z<$`}2i/K`<,-G 1bPX=UFb߱KY[i +%m}Y'aT,ԅCފ"]AKY *Hm&{YAk|sqٻݟy;Uk*FYg^1íȾ dOF`]o|lY/:kWBAvr/w/a5O,?Q"ubMn0z9UH(8'.}Ho3 7*|RUHUf-X⨁De"JEey8LC去 "c[s2*7J'/S$Y*0OCT /_ٝ,l٪u[(f,JDHQ5R @zxSI DP]qݜ: 1~߽TIKp,@QvbzM?o 1aMC+}k)#Eo rd]!ŏej &`nJ^m"'Ʀ観fct)I3bC9UJv^xF,EbUyC߬w{JmڇxLyJMyZT*Tk w:.vJR!]͸%V)iy Д&WFAp~ӝ6aliX fnYңSo`T׺ѝB{Fٌ=%"UFڜQJwJڛitV#qgBB`[?ȲŊ?Rff7N6 *to\2 ) IӾfbK{ Hq^f_]Zo">opnK 4X/d۽+zrY4D]2a18HߏDZ  J L<.=G3f JĶ~1IP`԰`Cj]7~ ^_6ItOrˤ1Ap5V#Sq[`_Uw gihn)F6Csm1mk:v']SC0/Bg%JU5?NuV^3 KqS3`y[㙢$Ho$:P׶9e\ć#;mW 91܅Z $hY#mvrCR@~hj |0*Fyf`hyXxphSa&=m2=ru}M3U!"w ^?w415J| yU3[[`@[wzTr{\Ǚ5BBU[=MSdNC)}^ ;ÑB#[&f. ӈ 5oM9O8l|{iU3_TY&O ZQ"Z0QʎcQR#eU}5RpOЎ!W4陓.A1eb %wTM%tSypwazacI[?Be&npH&_0YT 0ǟSma(`$,ꆠi3hS8:_#Xю `P_AB;tRoP(fciv r\xY<ۢQ~{)sўkz^@apK O'6,\@^8P[G;ƋuJ' aKmDxx60"qopQd`,\y.QjBv12\n6Wf@: tF(um#(= yxH}H<Ӓ! H"FV.b