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
' ' V1rdld ]/
Tree_Decomposition:threads=4elapsed=6.705cpu=18.672gc=0.6287zXZ ִF ! s] ŗXiɟA5qbh,B~\pNJ1Q[t]k8%Lig׆>3EwO=_[
"R'~8W3愈8,Ӧ@hP}h}Q۪^Lc ctU Ʌ$[ܑ.haMq")^+Q
fwnFLh>X֢dV'6Gy:BiGuu ipe,iSY{v_DoA`,p&&I2""VW
u$XΆDU
?B[Ҫݡssjئ[9~u֏֭T %:J uXg YZ7zXZ ִF ! ] ŗXiɟl%_LW\Y1d.^(^% >qOdT[7@_>`bKǡX$vN
͢+Vv%OyL"yCG]RhK橮駟' "]upvG $_,+ g YZ7zXZ ִF ! ,] ŗXi%TY.ںһ)Ed;l:Pw(B|g
QӻEߙ6 )3YL6:.sl±.g+芨:&u*+gv&D4|]qrN -ip&s\W* V͊g
fX#TcodϦmJ<PO=9
+aMtzcYX\Mg֥l@Tj/u6
{kvwnxK\߷FNT|-
]$5FxRj p}C/*ΌBO8mŐWB.蝚7vzq+?W!
mΩPSYYml| "|$+OѺP_If&'vM;|\;p⦃ѢQMZv4c $e|̙coOwR[?ˠHRlNa3#J!|8?h9Όܪ*4fz m
܉2e1KVD$o2?҃EZ*A'ou+My߫͆w^f3!ɦY{D U{V^v鮬τbN{yo)ks7aͩ=Vd+u\;n@scsefcNq9"݀O{`2I*e}}W3de_ށ!ϭvsH{Wx`_$T L&<D2/IG(n F`dM*!._! :{80 `J}H죑
^]K.sZp6i]tiC]ȏ%hA֊\S
EεƸqg\/2rYcsjtXMW>0=<fϷ$D Ss{Ҹ#'j=WMCiĽ_AS/\߇%QjL!Z gwfm CyiW/NҘ@ICl>*[a!ݕYD%FfföG+!
vF`k&̋NSJ-Y1cO㡘g].
ߘfr{0,=5v&bLQe /\