SQLite format 3 @ .C
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
3 3 J1r\, ]/
Tree_Decomposition:threads=4elapsed=7.084cpu=19.104gc=0.6527zXZ ִF ! ] ŗXiɟA5qbh,B~\pNJ1Q[t]k8%Iv'o)c7Ըkj2u[9@fpҧg#e)kg/0(yB.b?} /1|fT$[=L\eJd
Ā=Zã⯨K_C*TF4Q*-ZC00?]G wFo1~ſg7FO]sn1Vp+1h2~7;o0AyN̹ѝ$A7%1ML-,FuЖY
`gV1KPۿZ-D6VzƱp:D!Z ?x_zؐ;7FCΖdw> 7Z Eg YZ7zXZ ִF ! ] ŗXiɟl%_LW\Y1d.^(^SL3ukEo>zvfMarYy^NϨLhr|3&SW姼L#Zv!cνw_EO !5n(އ(M/J>B2t ƒU w4g YZ7zXZ ִF ! )] ŗXi%Nb[Cr%;-g\=J63VAud'1Ļr{/;eoi2&-AWN5m_ CKV??FYrMc
v)qg2vTܛY oqTL-BJU~W"NK䖴ִ\kz͖[W#ͅuUۚ7gձnTb)<*>{S PXˍ]&
qfqcErZ,9gHT|;%4>j==da(3c0#xVnZ*$p*D3$ZVKB&HP]7G
ZsV:bmFB7{C~xĊ7cSA|(nwh}*3ӕs$9m`yI6Re0BG3KHIhCz:WiSIeȻQw:SZ:wer!:Р2}ʕجuvTQTiTaW
Vy`|~zJ!d}x^M40H?`u,FQө5;b
=YVOCX =
k|T| K9|{WX*FGhkN>']j[RD$`*ĥIqep*`Ka҈.]?S晍wu*u^{f#Rxqy;흲STfd0(E$VtBrQHeȸiDN&lbkq?xL܊h'tW1GDD sR2>jN%Py#2~Xt
(RjN;<%JXAfa9Ϙ\J Yk]ʯ.FQzuO6ZҿGǞD;+G'M$v8Թwv s&%UV