SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
t
t /d<, ]]Regex_Equivalence:threads=2elapsed=61.052cpu=102.452gc=4.964factor=1.687zXZ ִF ! +_k] ŗXf1-/6vRZCV4
JpۚF ։}fj.gP -+e" g{L#Qm,2K-.d)bi|L氰KbK^VvdN.vk #y4$!/ya[Vz4lQHuωD j%ft_D^z2pMxރ5m; ?a<'%U/pй^ƾlQUaѨ) +'`6:qb_66 èe T]@\ш/i .ޥ[LeƵ30Or=",# %>
(v<_h-ЄC>,
&EN ,/r=&T\RS<,O?!qP9֫]O/ռP_ee\K,1$w.pJ4|R#oGgb!=8.-E-ήV{
^w\yz?Чj7uf=h,fC !V:n9%>vw RGeptAweiIw,@l RG
4F(0=ͺCY2*r?*
1E4&6AY d)>F2[E0>synv݆g9ZSFgG.x6l5ߪZ(.UdGp4G o
t58sa >4vn=̵! DLJ]e(RoFq˿Ig-ȓsm9TA0[I"S}rЗ-#x4!8rNL 깁Z) -m}W-
1r9S:IK87H :{֦Ϝ?Gԃ+(/9%+
RFxYٵ9 l|,4 V sg YZ7zXZ ִF ! #V] ŗXiɟi&w<$мI*0a)/~9+F5Gl INz hӰ k
/ Regex_Equivalence *ОqAl((ah!ſ /Ϗe
em4nwiy7M%-k
GNb=Ó%dxޏU/zܽc15B~>+W`"Q̻z=X/_qvTH}й j=%ʟ E-g YZ7zXZ ִF ! $
] ŗXi%6Sr+#|,A$eo,~tEFsˤp/(q3^e>z bBq{_;!M ioO$-O=mը
^?ud'Q G4z ̚4.!K d&_iR).Vȅ
RQlj @8ry?eNoA40$ =#HIu*¡)ffb ļ%bUpeK
EVf39yux4&#Pzcf9l
M;""OSŮ"EsQYPpҀ_O&Mߋ)#Zk G"c#j{/ 8˼ۆ˺_! "z0ŗ
Ig,b^ڑ~l pOvuGL .ș?fؽt H(aʩ\]zGM(9t;!~kVC/ISDiӹ%&{\б{4D$P9/Yj ЋOiofrj|u'+?O2v*GP/c
0Od u\i YoCXm %̞NqTzvY֪|J1>şEw A|"㛹Y|d1_~%n xe e!)|=][ A H>y9T;bt Bb p 6ދV`C:
,T{;0s&E w vC{&K- %lIp5T@p@bжtjS1,E^w \
BlYw|~eA ,w09:~X0˴tj#1]aP~xLLFqwg>DZz}סj#D 4B|ݪ9EDCj8'HP2Mk&Vr2tE`
XB`. 7 ۉoOH>4j&E_4d<6J
uZY}B<%GRjt?,rA=jxR {2^=xV*wU|wBMgS߳W! )U:AZ?׆5 0X 5 wXjg YZ8e359b853ac270059dfcac0089fc0638bca82a5ce70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
a15e9030bb829e65726be753cd6c29a0a343ef2fecde26ce45c47306b853a07305c4b5a108b81c2b