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
p1 td %S
Abstract_Soundness:threads=2elapsed=12.611cpu=23.060gc=1.312factor=1.837zXZ ִF ! (Q2] ŗXf1-/6vRZ\vW>_vIOqۻh8
o'f]F9-[cch 1$mt8
m[KKKbt.?q@Z<ͮ!uSYN|B') 9
~~0rQ BW_5arzzfҒ 2[EXH7ZHݤߪ;ӽ`U&q$ .P3LB;~v!?ƢB4RE!dAn@aO`QZI9DYFB!F4Ce)p|7\ v=JZ}h TZd&휋~c[=[J],cԻZ v(eȓ2k3MXysc3<$#D[|z@0d:y9,ΞES!aׂ QWQ@pSo n=\>ϰwDZ^ N6: !لe!qY nV*
lɴ[A~
q $}0 0 Rשۦ<5'Bݾ=_.F<(X||2L )Z,X !ԒSh$ںSġ>4) 4c P g YZ7zXZ ִF ! Ci] ŗXi%0sY!宁bJ\^!i@Ş97%E{E=~ +I酾]L4S@FXĚzMgEw&٧ݔGnO)LS mʥ)W'kSG>p{Yl9$H2憐177!.y#С۳K* %*O%"\këFTq?#]-\F &u4&Ŵe oQ;4Qljك/s<ʲڭ 3b6B!JVi 4~ZSpC.*Ro~9Է^)GD*͕ڙhcc
tuBRےw
h~m[
ֈg n 2\1S'hfE.ڪ'@i z,DObm-̠>!7Ln-gCN CϨS`NG eF^ Q9lZS.= Xw?%x"d{gל
h߂s^!*`eLMv ͆dzg>H B^֓CE?t g H=KZ =(
ލ`) z2 ViQȞ~8Yl_
ND&brg &z:7u 1
m L793q"h/[X.ZMP~"S"x@k?c[
J&ަ"qRO9(yw؞n#Uޒ Cr5f/Ad#{Frb، mP?"A ;Pu_{Ҥcf=UoCZDZ
o8t:ߐE(7{E,YN}W 9H w=$?%Z{Y,hn
ow84g,gdv{)HNݱw/69ee=
9B4rcm_&v &/]h) L(gSKMd+y.oeKCudZ/d =@9xĪb %2ZhtSCAu`>p~WxQF1{6ɞE X٪ \g YZ60a4b5c33b59914587cd86950156e1f4dda048de
847ffeb8a20520a1f502cd243aaff0262e32411d
c26292328c60c4cd15ecd89b049981321e8ef8b5
d9e310d5411251e4ff41599a279517c493b62d97
e7fb4bd8c7f54232acd6d87a0ca7225756ef70583b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303
d0ba08c0f59b8d4e1b10a24dfc3a3de1f95781ce