SQLite format 3 @ .
B
p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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
s s
' D 4 ]%
Tree-Automata:threads=2elapsed=36.997cpu=64.948gc=3.308factor=1.767zXZ ִF ! Z] ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30ZsG,fzNs{a^Ji*
F /+?r 2W` 뷚+͑DFSrUbh=y:@hzLZ*[2sj4kWXoَ|m/R9;TJ<vjuegwpT㾼gŦ/沼 MHcLV|^O^:q0ERXﳌ l2SSSIDU\ G]+ز~k<Y@ E SUt7l H2Diۇ03`qJJ5B:4J['q/k*\FVg\5F6'Z-}C}:7LDnMOrq䥃`AMbXK6YcfKX\d*6~ku76RjL $FAu>{ Ii{7 !dLD) NZ=jr^w]ZE c21+9L X^^XMJzUhOi 8e+'^ܝRcHe.82Q@85#i ~>lDk .`bV<'9͇3EncX8 -I&ͫP> (NZ-M Sҥ K=Mg YZ7zXZ ִF ! Ñ T] ŗXi%>gxov
L]y ]L T>tfG?)VLՋg]}#*]p: ȃ'j]cWj1< lR"2K% ;J1_dL^QY=~fLؑ[q/?Z
LٴE" On"
3ES pa U5YTFo@: &-_=X.JdV
A
I6tOfp*k.c=W۩mC
; zf|Oh;%_LЮPnHίIg8. O,8s
"^-e[iR($X7D]p q;M4= %gLOO `1Ģ|I-צ^#snH#9ҭ !!w#c
c GǗBCh,3ѫ*K[v11
%q4Npn%\u.me Ҥ0p^3q(wu(,$ukxѤdHs y̧>Ymi&ZW!12` vfCBߺ-2A"j {0PRӓσ9ثAS Y;}U;hmf84 ke1kpf(Eϰ&hkVFƞ"Տ\?`VԈ!Z={ [F>:~x(To! RX0~$*,7%XzSE(R3v&qlDeؠjn+ uՍ+ L: )0,ҟg]:\`f{2Eih fn o4q%@z1B͔M-|a8$ in'hvV9 t
VMyQtP1+14Uӡ>~ !S(>} l 5"7Bw5R#Z&'#sU|r&I^q+ck)TL;lf|vs ]l 3rZ>ImW6"N0ۯ%HpUH @WȦTNsG,yP_kU<%ђO, d;ڶ
r~#|uoLyy17)Ն~ iA~xo< d
ܵJHURj$ {Ҍ0^Ds03D ܱ /4W
#J .qGg'ޡ%q4]7YK4+JF{; S`t`p,)Xp/ng͵ L f @h,+|N~v= 8/W+<+]VӚ2RW&ڍVW'LeHcgV:
P;F