SQLite format 3 @ -
l l B77#tableisabelle_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, "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
# # B# lt !
Shivers-CFA:threads=2elapsed=29.589cpu=58.536gc=2.348factor=1.987zXZ ִF ! dh] ŗXf1- %˓>
ؽΒ$%`?D+l6 \pR5J^o+*kL }/Dl:Lr
# Shivers-CFA \l]U6H ^E}2)(r9Ӊ 1Or6>+ `Be4p>* O %a_Ug!QGXm i'ZS_ZoIp6[@=H3z#c|8xE{}UEN%[ؒa5%IFaKexc99Pyw /Ș1*T<3ʡv6e̴̠"j_8$+A*t4Dl@U%bWy+ !i
= "'b̲&/=q$2Y;(Cb8&8D/,J 2Zt96XǗˉ9hgϧ"qHQ`ykviQC6Qm@8E0#Vx)r\ o3ht_LL7W=AP(.2bXŁT 9k MukMUp4@V~OuSE m ˸ne\j{p)BjC#bvOLSЪ5L9Y>IwW3/@"L2}dD @
gRyO?Mf0Z2|sQY=7iD,YJl.\*bFuaj]sdn eԧ').L7@#?vN+} 3;f N %܀2_{r T5<>8Zϸ 0&09dK
f J0~7{Vs}0x#CFnba7}QD D:}bR?,Ph6[nkRG q+n(
$ l1<ȁd(.f%t_wW @M `hs1Sih-ŋ}Dk lQRj 9((B탈4` LuN
!eJ_մ 6ߧ u ނxBGIྸ$txb+Om4qZF'o[)JSlh3s ~E%[%7f]t~48[˘ ^`(lϯFgM۔nqNd
^M!+lͭѭ$e I!~bYT@?hRAo9DVZ>QWſ'zDf!tZ e+W\w1/=ShOsaxCr}0~=-b!=S1'K#rl31hF)C?wVL$I{۩ QT(xCmo0Af[9y1^tBO
;xQ5):-sCoK8V GϠTa;q(AC'kk%FGo@C
JJ6_Kw jO9н4 I ovIg۸kHC pw`I ' %8
Q"[)*C?R? PЪ ^0m>\>!퉂e̤9ঐI,9*ԅ[J[CC-K^dNj
YWV: ˹XP%6F?Ҷ#|
R=^y挩#ңtgw*]!G?b*
Ċ `dzZdl.C7
ˍ݈+ HISn Zhh$IL!is FIA!뵨jn ܚw +L/ձg YZ7zXZ ִF ! S] ŗXi%B׆$LFtAd:B 9\*%'р v0[`3RoѺ.Φ0A˔*UC *`9DĨRζ T$R^ `Ah*D2,QlO$u&p^V##H^0'CJD&wB`D6{ЖG?=9$ ѫ{`2}wőLjy/+~OAf') sqw|+_*dP
;3 v{V7 8 \a^!:{s"R-qT>N:o,pp |r tJ '-' uڙaIby5n!aHJAZ)Vct0 xP.{;3 uQ FQ6u u7H֢npR猳xbq7>KQ0Y'~YwKƓiKP-]QhT[)u[)( EDT3\smn5lѐ%a .bCNן >=>6;@YgWvnt ez9 20'T'Vp
(q4톏~;: -֏\+Bl BR?^Uu}aV|nK=˗ɪ&5jˋ?ebiMSWD;䢇{