SQLite format 3 @ .K
B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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
b%tT ]
Finger-Trees:threads=4elapsed=16.742cpu=32.340gc=1.7487zXZ ִF !
s] ŗXiɟ7KIxjbk-
^ʼn4q
3/}ʕv膋# 8B/ɤBZ0xKn¥PN/Hy@;ī 7
5ŊVtmj
KV'=:{FNMb}kl34bf2%Po攸JFh:xrMв|;H!"zoa/!ȕ>02X%A
!1WIL.A$d}56T,ã?ЬNo2;
?CXw[`<\XE7y?LhPtx=P>϶"OD V̟1cWj}̦y
WN5
L^^ w`g YZ7zXZ ִF ! b] ŗXiɟ頪{jtJ"
ZYYh(`]v~Gj,
ϚJC@[h
XJj25- Mg ~ ^Gng YZ7zXZ ִF ! g-] ŗXi%TYߩgg {y.YCfE@wc +HEn-A}c֞M=fko;E3XkoZ71W`rsÅ`n{+c:?9+ɼ~Z )r5c%a7'sf÷^.y+`3`FJ5E5b8EWĐWhO?W MIKq$ H%@8+]g NO8RS$N{En/5qRb;O,rjir)MMd8T@@,
/O̢rK -"@hEh6
pkaH1Ƶ(AXUK2`0WU{J:Sp"n+,bbh ) H)JЖIj:_kqRD?FAnƉxI&{, eiXi$
M^6$ U!4N^5p"!JonWVqj[(QQej<3x3
c.VG>
p}#/a00q& وꚿ} 7\F8E
3R碴/R5#
~=kD0/iI$.$ UZ'9WkV!+9ݔyxf^^~ Twmffiv/DŁT EbWnT(!GΨ3UY%=,T#{{2-E8D"iY["&gAKB82&WG8eofHS5S 28iL9 dq'prt:Ȱ&Sտisp7)=gJM-%Ӓ
Pr<Q@rɬ ?Ejzr<}qӚNݿվQJ+{Mg^Pՙ?11Bdi
`)@XAs #ł#g\o>ά
jzY kv_z9Se9=}s8U4&UJS3U CT7oSpl.E:ubm60jiqRmWeiL貏bASqgH;?rw|sP[QTMG0 =Sl1 ?#xuOLV*@xR>UKx["P7 ;(RNAaw%ܪ+X_A'\0Ef
Ug|P>!`L|rF f*'V]DU;'rl`BS/A|Nҗ]ZCP5SdRAǫ]';$=o*ؒGڅqdB{~JsPb,9;} m7́7ɗ[{:ߚFcTZC_hssܚ@.|kܮFnX8aJ9y~+;.` M̀ubB 9^3+ot/R㞷qZK%cHz:tWNa's;A7B'Z6+I0DGXӍ>L