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
~ ~ k+ Dl m/
SenSocialChoice:threads=2elapsed=26.907cpu=40.220gc=0.620factor=1.497zXZ ִF ! ^[
+ SenSocialChoice ] ŗXf1-/6vR[]]c[QU!nݍc
?뼠 n_@8SR EVN-4IZ] I6"OjYsB JS&uAY~R(>3NMՕU+pa( + o|XDܯ1k(s9c "q*z|bG/2>Su [ۖ$lĿ.*dpzrCk+@e
(> U]z_K !Y [s
]J{yG^j x0Fgy LS lͷ)F5*Nhv]nR|f]ϓA`{|̞,)O:}O%ŧ yH5
0v#A j75Q{K\#N4j\;CnwzD:_k / dz uεxG}p?.rnT m"5w]H&\u^\WyC k?1ݲ7jRʺF}Z- ܅4 HDNqJ[)|ty]u`[a@]Xçxt BQlO_zda<&5;ojXc/rmf:k%E_#߅<)Ni=F㘕V P[wkE0 ߯z} s(9ǀpv6aA_1ګOE#(= ^YvEYH$ZcoIIjkJXOd3/ S[y8H|>B%9q}oF*BcV&\ ,S@MzAdPق>Ihoɱh=3ES
]_Ee WyY4R.})3[N' [t j7ױ˿WkLLGϰB_(PP"T8bWQwb*cm V'fMJ;6@Jٔ{z"cOfL+Wΰv1Yを Hv|J|]P5@ qXnf#'o7Ͳɳo O5Ж%*JoZԂ3Q,j| I\רo{5y??k#5~]$2 G&4CҍimRYUxMf^6}
B- YIe㋐ u4eҙ
5s;@A@D\:1V- kagg>0st%_gWJq7o]U $
RD |ZQ
q;;9Cf9P5QÁOgDOd
zUgʧGR8@*ScGzZ? 9Tq e°x4@?o9E6=~ #FS`%7;Rh& |FPDKISɑ?[Y[ÁzTp:Gn%F[Rt"l>jUpL
"^?"_/slEy{l _S Q{+x-ɠ`˧ࠋ -e;Tz ;=]^]([a6}*Ɓm4.TCܽ= }<4 A,GVkeyϲNF;b>FCZP^l ?z p:x.j5 N;JӍ>Ufy Fɬʳ(K m dYaR
1M}ɖW$ía_$$ftU,Q]5;F!>=TL ).4$ f#
g YZ05a06f3ddef7b225269b834a7be4c0c2069565fb
10b1972a0c90bd8bbf55a586c53ec664a27022a0
2028f07189c74e1fedb96a09f47f629122e10add
3e8366e49c7f38f9c28d271592b022632e6a9555
451f33ba83231717536c8ad5edab9d27e21f34c4
6861795d2a3ffc5f9e0482235068f61634116440
6cf8469af468f73785f7d3a24c68536b67bbf316
dd8c37e0488041a63b0450f77c7860234ec4a413
fc8b365e685b24bdf1f0714a47f7443575e6b6b88c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07