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 % Dl ]/ Derangements:threads=2elapsed=18.695cpu=33.196gc=1.396factor=1.787zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rbG_ikjQ"7rExĂA.vfn R)ڷS X&EB7i뜹̭^~j&\H^}U~LB{G' p?oO<[qQ.NF<{Y/jͣV3:63JgIЋ1"xn9eIC^׆(bMf!7Ī[Hw#MX)#jKƢw[%c&[1xCxFp6̵ϴKx|L1LAXGcTEa| faFk M|.We:i~E>̳;ձ MDA-KB hO|]̫CM? FҐ 2J}8a<4V9)$6mnU DHGi,*C)U6}kfLӬ\F,.`4Ұ$Ę[[ :EA^z=8c*^14G"RQIM,=.dp>q-%.4%2Ւkv~'jCgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4b!Ѩy;{M>iۭZL|LL1bO:߀>H2W@zC8\p!(ò<f´5U?kdX4_~\ii&0fPs'gYZ7zXZִF! j%<]ŗXi%>g`"Tfg*VÊ{POZ9%"Ì-9vB ">! cQ{Bϻ{qxZBާ3xZoi(3ObjI?YBxD7׿]>FsWK7a NI7EĐel:h˯EeN7J)!uብRP껔f*݃KzbnѮg#zadXIּH{_:{jr& ( Ȭِ-6NDoṷ^Ubwc$hxݝ^ r`HTF7>,ូLvJ[/=nl@zpJ٪S|& W`TlĢF6EVo6$ c 8Q^!p\Ya8Xo-[sqswO3"^Oy&bt=rr@] F|mÚyNTPBsh\B qpqN $0j'L.Ws[AM$ o%PчaE9&oQ~v|S:RZ`ƣy drЍi.x:@ЩNo 'n"h.qm֒~G1~dGu!-wvG9Zd`|"Y'xv,靖^ `A~:kWIrlx=76A>?uԟ3ʅ4iLrg~` _{jR Ϯ,Шl*DQaԎZ"noݺvʟ&g2W>