SQLite format 3 @ $ B $ .S`
5
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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
|#t(. ]/]UHOL-Nominal:threads=6elapsed=12.709cpu=32.292gc=1.540(/`
;`t {3mpp(e_2a= . 1 HL
mjyH
BZ FҜY-EJʳKR )߮.GdpU9IFrJ{h eԴ7wۓ-;{g^QFHPKLZĘI j)F~mdL?Nz1՟8f#_}Ykbaa~:@ A!a,! #&}*añץUJNPc؆Oʶ53 1piOA+OR6o=S^a2~3 0 7mZX
#gJ[w[2xvs(rvQ[5ţĈ"fr]1Frۄ
|rY&X(/ - RG`We3D$p#CWYUe5
@DcQ1d
#P!sf(/`=@ a
"0m6/yfh+nFJ%PPPy& ֮l
博wYw#}ѥZgBAaF)ap0SC-d1H$" ~65e`єAaX4`<EFapРD$#AP4
CPHب8,$HBDPp9,l*!EDŠoUBG( Ñ@(GxD$A($H`< C$b BEX4D8X<`8!
FHCX@"!YD(#Q?Ļ" Vط;J`j9)$X~'_'T:vStZx֝nVtgWe9.Tʱ2\v-lj}.e~FƣU<=vW}Ꙝ38wVHO$M!ܱͳCzZ|r5WS]JWҭ.Q"5\Wշz~L{^1&34xWҵ1hXª)7Kn3,ws
il쏫g,fo
v>8аv*f\C6UovŪR;H4ƗX2-m]Ne^ʬ)2Aɝc%Cبnr939C3ma>VfÚ4jUlUW3Hh-q4uJF7ek/B#1
)gJ,vUo/ӥX4:vVǦ-[$ZҸCyJˆ/C||i\7W-5!ۜ]\cK,ě4NWlL4Ṵv
8ebѤ@@0 aHBAAd2 dtu@CsBBe/Xraf!W&{z-юFMzfj=6d.O
&{z6KID1JHcWњؼ〰'5M{E@5EZte|Fjn)hag9.`kbDB59+fya+3չ xLeǮdo[:C2{bD^,s*r,ӥG4@DGbлe=<ٳKl`z"ϳS0%yQ^NX6с&BʷVUzf f!9ՊE,Ϙ