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 zz TL ] Tycon:threads=4elapsed=6.475cpu=18.488gc=0.292factor=2.867zXZִF! ]ŗXf[&~=BVT.E>8-*O-E9ȔD5!?{bY,ZMå ma5fn ![2sY5T?97 ֿĆI'T*8o=rAY;YhJBr/lj}2.*)ء:^kbנ#ωФh0!X/ g%A|a:\18'ݴjBG=_#C3hl&2*\ȕS!_j큐@.@z'q_,IwYÙՁĐ>HT*Ls#1O>kXIo2顡흍5tv( GȮW(HtZR@/$n`=d)5aiy+u+=hg vc~Z# <QXMQB{nLϒ]+9*5t93ٱgYZ7zXZִF! G]ŗXiɟyڳεĬYpa<+|Yama r@{Vй#|Z)zs!"Z\%Kblȫ=&VE K;w{3C[>@JJiː *ώ6o2f(AP_2\"^7E +uVv/^NW+JCu?vfԞ{1m~Fo2g_L  Opg=H%\56% .nFJ ?R|: q[az Dr!`gH#bX7z@\(ԑŬkP.E,>hc2O_3Ta7$45O*- a!`IuAK 2Z6N!܂QLlx-Z-&]JĆQ~Ss ݺ4Ih'z>ne1meW6yQVa2Aj?{"5X)N`:4qѴ$m%) o `ǿWoz[ 8$*Ʈ;QW*^aODĜf8,Є%f;@'X҅xQbwDL/CEFv/ iXTB/b<+ !w'LJ b輥Ϙ>~Bh^^%qlY՞35H;}R7<Mv%0T$@wEDa+U{ُ;dԇK#I jUK;K}MƕWpVќg$pg}ckls:5P_io9Vi؈ *{0 8O -Un`ۈz q5l(m2Z)@,9uOŽsÍZ2$7؅_cDaA. ySgYZ176faae8a93e7691ca109ebf874615bfb2a9644c76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 35accf6e077c003b02b1e81efec5bcac0026aac6  Tycon