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 : ,t ]/]CRDT:threads=2elapsed=24.135cpu=44.212gc=2.456factor=1.837zXZִF! P]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uz_?q~ԷUf9&j?Gh|򌊎~l+v7BO^;tEO&T0DMyaXq%c'r :d+օ<{Nxٛ!~X S BPE]J &|DK!ַq4E+-GDZW$|"DU .mʓ{v:f cXY)XhPj꾉$0q0$F,)galX 峭g^Y eNQ݉r|1Q.|xt|JThksKORNpǩ$Ӛ<keS&[3MAM. !Y$O`S}:KI)XBI{A ЃπZ{)e%1jiCэ.#BR؂+~5pi+ qKO#a)yA_ϲv ENזL&Jru)w7ͱ0)ab2lם eD[Nmyԇe.~%_Lјl&" l!NQhx@e:~H2 -D2igYZ7zXZִF! >]ŗXi%;C-lٛb#SDt_3k,j;N|hta8(o]%z/m 6"P$4nhT yv<[[xn4 ޷2#_LaXnUrɉ]9I LǸ%m-JZ0a6=;v2B |Ys"@:=G Ө{Ṵρv P ٵuhfז&T3?*)_\<*r\k_+Jy"㇈{Z'JTIvn isΏ 47ES9NlAI4傕%Cqiñ|OPO G9 OPo Z@ty?\z~7Awbr.<y vښU<$doZy׉.Ufx{- yl N;N :nJonCJsS?wڬ+LwDPڂX4AO  Q4mɃq@skв:G, ~4\Az0r?X v9ڊ&CL pp0),!3qWC${]qMc̷4|tWG-4,jWm`}A 'Ľx匤Nҍߠ)E' 1ujH>u 0ȗg+ߴhew{!f9`?~iʃHm֓" Qn$w34)qjMŁPP%%2666<&f{?SI @N$HC >󆸱]7{'Lԑ͹Y+=ǃ͂,_%Kg BbVzf5kt WkK#=jgX'q"Pv6m35E7@=՝1cd5֖, `[6^ @2DuPOttNhqQ a_2O%ݢT8&Wu;B`xǖ3lLX mB6I]I WvΣCݕ@Ȑ٥Z17kg$fx  `sVպ$'c +Iތ4 *>8V_Pӭi]XӾa)qoE acv[\G2&iVqd3̭s 5p 2h ~wBӠh9VnVeߑb+ Ar 8}ӹA[}'{p_.+D4 5Δ!eDZk^ = 5&f?~`,7&w]-$A \)~(n񉖌h:r=ai )xPT/WG~ޗm'1s/"^=y@x6۞f*%}P, o6fmn@\熌zD6Ȩ^W4lѫ\VfNbAq%yx4}Ñ/lrlmm6ZVMlv:F>G㐂HgYZac1c12cb7e1cf78319cbb67289873dde525c0bf2a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39cf144da298b116992f4766b1f067ea24534b065e  CRDT