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 ] Corec:threads=2elapsed=58.588cpu=86.096gc=6.148factor=1.477zXZִF! `}]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sZ7nZ{|-j,;ѻ]}q<  a e" #ZZ".6cdkX8Ϲ.V!Tκp.n 7Vh]@= \aDGKٞptݽsǢJ(@3 D6 0biJyB.L ?5<`H4rs.I݄|,xD\̾a{ڴ^/hV,5F˅k1a*epL|zkn'KlŸϱgYZ7zXZִF! a]ŗXiɟ&zLo->u*۳v1 & R\+,H2 O}gYZ7zXZִF! } ]ŗXi%>gm%.U^Dysh$o Qve(ɆB}&JT-TZSc9fT'.HA"[rwYO?]XʅEwHhf:i[?x64X^ŷ Wl0q*~'w"HEQSZzޣjm0OVHuF?F]90=h.a p%-/NpX4'nzT 1ikjSX[)pyưw,+dG)yɻ?Z7R<E v1B|lśLWF` 䀁wUpJ|m섖({NLvEh .IU_;8 )0;"V`bY@LQ&z ˬSm&n3E)C;IzW7%m_(bm$J(·"p_GA-ON&;ɍc0kvGm`l(O$z0Vsf/(,rQآ z`eFx ަUF5օ{a ͢xN =.sF&2kR݌ ?/58gF(el xHzukLn }|-G;ެEu<%nn2Gv'ZYz/G΀$}HӭYQ(!( W(&Z'ƠH]~;!%c4AAf[ M&/0˸[)/፞dH  fѼ1_ܮi4_}M08nU|n&aζ#FlQk SݵƶJZ]jy#+. h K@Ga9dU;M&i;4N-kp Tp]"%I i7lh9wbJ |ĭR?@Zڔ^Dv35ȰW\v09Qr p]MH,oUϢ\V5ø8I]='nGҬ[):k(4^*SHzږEnïSz dk\;}/,ԨCn*/is5vs=SąR%N3 28H!B1I[Lj @DoV8#ё^x%~ŗǗ lvR'3- E&- pX0'o?HkFւ%/ZENП譇9u.95(C'"<s˵@$u$0A3饵 U𠉕uoH|?34a_w/eD:+WޢblP{JkPJ^wro-89g=2&Bߓ^Nr 6}bنBBeA$XzP G($DI=Ђ^S)U}5PJ6u&J m7"x{ J+,o =F7^.*|Ih7gΚz|d:%l LksٵGa5Q5#N˃2Qцu ޞش;niEPNF2=_)Gxʋ5n 00kc{?r0Wt0G