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  g >n.|VLڿu@jq\\_| =C s b+\ [xsaV-3xsa8؜eOjr"8R+@Sdd"{`?D@ZKO`ndt/?'0kd.,p/A!zC!rrOc´CX=X?L֤`1GþDC8iZ Up$ Bl3}i-^(`9B\ ^)/-#֯㦥p8uwEX׫Bz$&uNf!i/8ruҢb9yԦDg/91҅ *̎X apf  SIFPL  ,A//#fc|@/x c&I%l? ާlp7G]c_npOm 6yB<)!6VV>wᄦ"Db'[cdLRP).}ϗP+6ޣTQr2ż Aʿ%LD-~T)s (Al܅wb$ +RVW|#ȝҞ%ɤ/ UICܯP64"0hqɕ4h* F2#B%5銟Q>#B(P/9^dH*o-p4i+_d1U(b$xe 252$$DV1g4 FK ~l$uP3nȇD,iQCD=ґMO 4@@w&&k6oXT^fΞ:tr٤n{qW}X)G.ό+6 $Yk1$Su]dfɛQBq)}MU;OgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNCoMAD u oe~5ˉJ}[7[R2Bꟃcwf2j,(g7yX c HLXO-TA]5r$nd4dk/ Jvq2L8*VǑ<݉@!PqPϜCuV3>ӼȤ K2/[1 ߱}Cg҆T+|=i5in$BGEMF6{G<*֭0ڼ pBrqQO*-`DԷ?&]v;J㬒3ś dƚCXkN ISvʲY-?9bԳ54.4U\v4P΀A;w ({0oZЎlW I?&6 +IFBr)6 Nӫǃh jrIb&א': v渤8/d+}po7sIDPؕt_GnG flŽdϑa>rZ@[۵X<_bK4RhGEfBxa9UozI|C2W=b;6q>;U&LԹ6^˲CҺ]+4֣OPV eEPеCV' kJ\DTAԇdU:PILɱGLid'ޝj2$R@nȔϛF0xjk_ZkSbG m0*.K6 ov{ 4|H%bg38ѧ4>T1dI0?# |o1 do%$ sr W(V)ryGnv4PV+ [ۥinkqcl#fT>X!^c ¢aI<5$Au2y7DփtH;w5|og?Qи_Cv|UeUgAƯ[_G%o-[2Ј˨\$ b>/|XH ?@]u$7#b{ r˥nԏr Jsaɘg^[i|YS[ћ_HzS~WÐO4IFє|p]Q"H>9ۜM ޼zBr!ܲA .#Ll~`$8y8EMWXGtC#_J 1V{p WcTnFSmabWmmڑ/H.Ӧ4OC}2:gN w-fjM.%JA'Quޞ@a@|[vBa=t~}fnt s NSCm/ңGmζb&Cs)ز@㍌'cfǟ|v)qHcx;w?=P[qak8ۚC@ HZ\ZR<|]! %G.&c*iI*<ƓI `}" |yruK^}kܸV `>Ax..B'6tE9rvvC 3rJs*%7nCRC_\pWboE8 U12(j UMj4Ǵ V|?34U8O(2 j9:%"f@-\^LC1`eK%=;>x^!m|KdMjrlI4(s[c_ *lɦxQw=sPթK>4qRP++0g^up'Kx.r&Lj_7J;IU *\̙/OT]% +q^&`g=!AלPͫW+;9DTa]4 b0KdN7PA/O=?`?X)Q"3_.Vŀhh΍pxZBnhk"ӽmٝA2J>vׂD q=g{Ao<}YjԖ~1 }nlF̚х{>0 1~DY\j'a6'qɤ¦LL&l͞8'gYZ0288b611e67afae627c7c4cb31f17eda272c8b94eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9