SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
u \ %S
Valuation:threads=2elapsed=69.157cpu=108.248gc=3.820factor=1.577zXZ ִF ! CC] ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\'*j>3=VT)| v2]手dBMDŽ+ʿDg2/BF-toR\ʿ[ tD їH*@97:I|wGI;Պ#e Q{r Nc@ # LyGtEL,D耇] Ub"u=L
sBB QxѸJ/ = v ex#;KeTF2qy>aeΠN2踪Ecg]nP'S"?, P@d=RϯLz 쓶S 4eT$⺜ɼ. `M+ϧ42H@v< 9Z5Do WU S%~ڗQ|8@t 5jNut[6qէ#H {m<(fUAdrZ%ܜ+=@Z
o$߾ս.D% e6% &3q¡}Qfj,6w\-謀D8k F9~vT)b ND
$,y !$
4TzT
)G[Z٣Fx/1G ǴB8Puw, =%c87 fS~E |0 ~h%؆YbCK:
u T VHL{.mɃN ,T%=|Ȱ^ tyw NxeI PIQ d!g:37M?^ C=iMi8I+0"Re^2Z#*F*\B] 00vФG1q"nYTW J1&cx2_InO>6a>
;Pw![ǁE+!4Fƽ ٹ:
T[>E@V G
+AڟK Fx!ÆX!LE@ʹ2f2ON_݂rŠ8H &[8'U`Gm-` >93 lpIe
'#MNi_Co$ӊC_&E&؇-7pl˲, H?"g1"stȜ> D ;gp;)!SRT7LbD{ {l 0?
b:j?v-!hu25|X$fxȆV
G:wf~a n9 X~Qaa7NDMlw#X;l(7, )4|6*m(J?;a|J!-h84ޙ 8vv Y~aVw3Ec"{M{"i\0N@K\챝_ \ oPʹa)$Eܹ-Ӟy ~ Q)7 ݙ4ۢ[NJ,Jd8`r DolCYBk߉'Kkۖ3_8,(ӆyV.rx3N j ں
@߬yg/'IoQpZ^ҧ/#=)|uaYȂoOH4얺U#I.)k^C- O,X1 #'SQsYD -WI/B.K`q俀 ;\-I
Vup$x&.p )t˧4䴨NϠrMGv#}p~^EEHDQw+w8 `%W=\ Y}8M`Z>;ԔAK!,\9 9~@iBM-2l 1bEh@!*e *|l >=2Q[_xcaОK8v䐭!+rvTna>nL SȃV㽨dy
yHd-hl]+:C7sw=7,=
m%.O
&6O{E?Dsn* -Yq%'XGF0C
`} o
%F#tWjMߐOouJX B*mAܾM}k}^ |Q˾@Hj>_F L lI(u,*nN~ﰓ KޒnأfZnG0 w$
jӫk =" ;ATSf]붵5*~8
i! =DdoV4`i%5.NHi/$~'Pa9/F5&X $#lO1`-
6
h2Qcm'.|]~HVcZsv%B&h_-bxP
$0!xKU &i֣ ?g YZ012dc459da0b8ae14f7c5b67aedbed1d7e4646c4
54abd8c9cb7bde34940ed973a59900cc7d7e836b
eac6050eeb850c93f872613724be0d145bffe014
ef686537ecafbc5ea505ac88b1ccbeae6dffe213
f3348a64c921ee590f1cf858e965bb889aa0d40be4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
bd4aaa1779c5fdf5b6791f0c825b3eafc351c105