SQLite format 3@ .0:  B --?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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info jj' <t ] HOL-Matrix_LP:threads=4elapsed=7.925cpu=29.876gc=1.112factor=3.777zXZִF! m]ŗXf1-q恈{RI $ϭ N/Xt OtQ!3U}_l%!q5#=2tqY$AS #Q/ L]tA=rZWH[6Wb %y! zr b\'wnX,ߛx`6 VH£ TOt謋ۢK,?ؽY@{# Ѻ$X0ر)~3]I渎maeXa€Y>U~V##kz/bjqph`|l4o4k6>ҞX6[,S mlATt{$FwD>geEb+8|5}}"UY].5hk lRcM2}16G)JR&O'c JK &®gYZ7zXZִF! c]ŗXiɟ1#vX@;- ̕^EĿмy'-/JzqRrm<j·Yȷ^3J;t*+(Wi9 lG&I[Hڏ{":ϡH aM`], DU)H-F?׷#L-['J-gYZ7zXZִF! C)]ŗXi%ES3$3s]w+ tUcN_`4Ԍ IX| l+dF@#ihCU\#jh px`~f&!7'+?}Q6{PwmUӍ sD ?g!Y!|еf"XZ?Vܬ({$vnXp!> ȣIuXXN11:Α{`rAqoo Mf;{fnLՙ7Ʒ8-l=? LޑB#i7D7