SQLite format 3@ .;  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 *)vLtL ] Twelvefold_Way:threads=4elapsed=52.478cpu=161.640gc=3.0607zXZִF! b]ŗXiɟH)0%oVg*LLѩF熾Az!Ijsk} ֹUEyEYoe5nR.Kͧ 5vcsstOH8jmȻF30Ko:S!TU%nPcߙv}bNbiღ)**۽#L6emou;5QD}?ƢH#^P+.61Sӱ-آ!o.aNO=NY(>"-5WZ>^5|5P9#[ѻitV5ZU.%u~zY:A1ݻMOZ$`hlDj.ڹ}6'GATjxmJHZ (^ PfsO 'j}HW6Gpl`)=bWѻy;G6͂f0laJAV;q"uk*⒳NI\otCx󃝖[hcloh95!y;=ojFS+K79XNj <ĺw ԁLSEo𒁞$](F$"3O<~#s_`Rgktu(^)Cc`*6)]1m]ӆIxg.p=wDS/zG9@sc5okKBdkb&1leGSqмṂ[55e6 ?X/4d[9SQ1%Zqqd-144;q+Sq(7Sx,448'$ N$TJ@ Jzgfm m*giħM1ϩ#Д_7D09jҬh3I-(>?qxF-{cO Ûo:CEKk#hf x )1(m#Ń%(Yn%an͠ 4 uꀉ!gȽXHX ,UV~Q }ŏ9M UbYrl>{[