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
Vz|, ]I
LOFT:threads=4elapsed=149.504cpu=513.800gc=16.0527zXZ ִF ! 895] ŗXiɟ
fftb:u
tsw[<|?ߘ8햄@c!ܣY Fh*w
Cll\Ƃ>(8x}sLC@ ڨ5TtRʝNM@ `4oWUܱQ'@n~Q7$wԛ*;8Ez-\<ˆBMS!Ig'Fs9zibl{H~1%
Ԯަ篱 Vǒ<n}GِtÎŻ
eԍc
Cڽ2>-XDDQz%zBv˾j@ή[ֆjU5ME2?8u:FCbJ,RU#fYA{PeGlxSh3zzdzH)fꬶ">!Fg`ImVeL.ӖFyl^J?}2sT<đbsO=Wy)Ĥj$HzgePU=C4dmn5]͗k@%z8āl-fhc(XyԩƫfpqMգ4'_32$G"ռ_ΔY`s-bPQp9l
A,@yOuM;m;oJ{mtuV{o6ߕ1j퀋VvL$eD,<}'FTq\=v] BDžufȿŘ/)
$T:Vfp>AB6u>894{\8tKj UΏ(}4Y@M60Ɋ|l@MWFfFnxtB}ц TR'5g3@s`s)]
!w&?"zs}*xH1W,Χc19.k1;)@eYJpӺO+|Vq PbW paqX2ZK4{{vosǽ\KIW oί7~]#Yq42N
@=