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 UU( ,D ] Datatypes:threads=2elapsed=41.580cpu=60.908gc=4.536factor=1.467zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hVw@5֮历$?7:c],sm8΋)U1~,lt$~{ZtG(Qrz!D 6ȭ%}Fd N?ushڇqsnf2pה#.wdC*F1;DħS8AIo^@zV+S 'ls2}doY%h/vhh3l'y7BISoW9J-, P9^Ұf%؏aAp '.69p%.D5R7雖 rR75I &kXWTm'{6KI {2TOx퀰9GhkPߌHas#]W>⋕c 3sTGTL|D-6۱gYZ7zXZִF! []ŗXiɟ&zLogWjϤH5f&tSfL֚a\J rC.Ԧ$jlF<.|m_,”lE-;H(+du".H&&0Lލ;85d#QAgP`cM13gVY$ !?5^Y'ji Ezwnc!ˏ"΀Ѯhb+ Y%*]"Ӛ{Vmq4^[oۚdnOPda a9Ƭ%c/K$hD03|wWl0`wNlNX"wdМ|V>gx6MMV;@Ԓ"_Z)`>"Bbj ZSZ-+*VVi]p&?F+d2>#@/BОzzEJ̺C{"+ywA+DcxtR')\-[z`H]$Ӻ|q&R. ƿ Mږ/$ߞ+ A@Y^2B>a1=pZmV|䔧Ʉ ]*J$۹"X| XyD1 Eo+NbBҤw]\X8l{wǯ/k>;piIWx!q!=[@+Qhh%}YXm'6ш%u:$k "0mti,|})%|)T)i#' ^|(%S[FTY&=Z\gsFB']U5z B8 [YfӞH BWRܿ yk|DHc7Eۙq fT{=NCl<|(\߈\,$؅EE&I ӈF$^qbzN`xd{8hZ1B]ie+}~f0i;'S"U{Łf.=@") ^^v̞kj`rK?K>\` du,J.lG K^=VݙRY B؄i{'4avd6+,`\`#E?JST|S *96aNEGt,)R{ﵘ$'ߚ2cMqGbe7/)tR+FGk\w8P]+/vuNm'2u6{U*n9sYړ+}C H "1 nE; i"V+Gi :\xp%B:5+