SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   z \ ]/ ZF-AC:threads=2elapsed=6.441cpu=10.788gc=0.524factor=1.677zXZִF! ]ŗXf1-W'S)b-LWtƺ}*.|,wE{?f:f2#B*YXtb>_"Ej̃R×2L 9?b %Td['H)~KQwy rJ,:; mH}K8C18/f*$:6sdy0\"J/]%zޫ4c Q)1W 5hC^Rݮ% DHL  nzgYZ7zXZִF! ]ŗXiɟ98c tؠL\b@֭z$}i@r!ɋEgbrQE8`\9Ÿ :0 nr𲑚NܶcTޤ})ѝtwF[F6bA{DXVVjc. м\9ilMhC+ue/{hxʳT.XVaF݌z*TɊtdR9h`\n@Pki䂴1gYZ7zXZִF! 2uh]ŗXi%;3wjx`"N$O NF7Nwچ-Н6e-é0Y oǴGopC4 *IQ1K]@K-koDo `BHUKjuZ 0bFSBI)WzV_0mLD ɢqirD3/05F$.|nah5t6p/lgz>}Myn XZ_7jH'X~Xi"5C`37&6濟nV: ~x.枲?OJX ek-|fs*uT!aufGν{2(FĀM:Eiv5hemՉA]G3+pZvKBrT{I`/J> t5ut:vj:'LcQ-VZ#3ylOhX!k8Qm~]r\5Obm↱x|ж>To~x{ʫG%Z^f^ge Ϛ784L愾Nk=P*Qbm,T7,-1Ȧx#&SSyxpۏa3:NnQ&nD}n&[+Ov~P5s=>`R#;$4}m-39,ww 17P!XZchQ#ZB$z(7/