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  u $TL ]S HOL-UNITY:threads=2elapsed=57.884cpu=88.904gc=6.992factor=1.547zXZִF! ,I]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx׳sV{JR֑&0ch%yh?Q ]zƱ!X4:Dś׾^Rf,8gx# ^M?^Rc[M5'~v/k%/e6;];6Ouq쎶?dkX41gw 9I#$2`88HL98_75q& fN#i9D085qx!%1|b-]irk~'X1a=*yUV(!hMTR$M4 J2I~CMݚ1u96ȁ%'a\Nc E6(õ.@Ӛkl˪M޹QW8Yh=_㳕dH´רkgڈO5CSt%i?2(_f[[Uɱ5W9:ílOppF%y+m[K̀]6@aim\! lk6nniJI6y]R`sʐrQ/4st)ɓؕK6 ~f>-wF:'+Ls";gF&aT:Gxɖ(dY:s{(&vI|LK mey\K3@,6NʮʤF# Bq?[n(~D""6QTg\IB>!FgijX=Uu4פKz38}2S))爥KCmh nsaF9CJZ"8W e hX<::~)q|2IƄg [ǐ]^tlIW6B%uH%TQ(xvW*~l;d[5LHhXmgUptT#v0[Ҕ\ݠ=A8µKF1lcθՍt1`fVh'%4{zWjh1ϩϟQX ទcN60j:5<}&rTU0ĝNR ćbҳpZo \!4(nYKG9=cOxľH`vm˨'|9)vыWatxsbNZqsAeYGa iKM0mpvF^={<&MTT?QivB93CK*2)s9"Q=PXFy`"qzWPM1P 4pyNGL1 Ob yRLǖv؊},' ȋɍ-O[lFn,u.^^u{f2RI&=~_5Q1)JGXd `lDZtradpagZ&g 3W=x_]vJ:{H{)sgYZ7zXZִF!  ]ŗXi%;P*BR:"ZB9[Miq7O~Vpw03n0b۝ͻOr@Li' 7H$&)wFOx&#ڎqk}ez`'GyTpz9虍[Cޫb5 mȽ>F):~E|Ա` Q>SL,ϲ3S}c޽gs* y[49`Lj[Q +>!% ZT{ !Q/fw `{JDW 3A2]^@ftYW%M GBK!xױ Hw X@8jY&''V`eB/j-;!"渇s[2 .)$7X.(|cN5#-&qOPN8:%SrHr<^VKiyxFn,sS෱17.j"߂ [)4s mwmQVPnێ#')c\Nmڟ'i&aQCfvg30oau?VM~):3_2}IQac[HbX7!JY|ܭGb7Z}fO؜ />0舜J $4}&<<%gxK'ź JDҡx!kUZ CZ$1R py` F2a` 8_(+<|B_\\$w\( GO]MY z!~/ "WxXM$M==鉧%KD΀Fʠ:9Mfo{`!lpH"&YBú֏vgLaGV=^8 *Ȑ95.r&2/~kȂ*>4`Bc-FtØ"GʲÊ÷dx6J{pܴU\.䃕rPi:%@l Qak[+`FJtRNF73 ׋muYy&%{{O2yLQ &٬tmxxtIrBsH憮 $9m3HoVȰ"#rKm3ޅ [n_T#Qe*#hZC\ 2̀x0 1/rpE3 )p+~ΘjgC[-:I/"Υ8J%'U&Yyx;cr2fܨ,t]bi C9^-]uvڏ`iaze_K'b3uX:ʍTf/t}qv}K6x:DxBZBœX:#,."͏vM$Q mmhj[לݮ{O-ǷОq`X^,/g_vh$*nY|5rĭzȒy*TVYG,-󸾫+X8ѹps{;K@6NF⃲u!Ժ8Ev)+N '֭#3X[8>KnZkvJ_JS^,F9e:q@Y|1tp]gar^BU.~gHq<(:/+ pzyk a/5;X8el[njW>3`{fRmz1!LگW_ Uͭp>pr+4>fE\ | KYS WZZ*:]q"vC`>N\Ԉphw:HШ @PV‘uɨE ܮ9*zolDu ?XHﰘi"= ez2iX*FMvTZS  O(볾 nW( b\H e70c):F|FT0";fUة;ǭ4 /S3&64frdiorJǡ`sƱ (&"gYZ29df59dd8ab75414f64504e85f4ae5f5e15ddeec4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05 e8e8fb58dd79191d4dbf2f4ec869217fe763fdc5