SQLite format 3@ .;  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 e |t ] IOA:threads=6elapsed=7.015cpu=31.716gc=1.208factor=4.527zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K B;jų/9Y*]|@>iF@!u| 3ޖ_ &Jkdvsia (wgnR/zLD+*=|:&JwR9 G_րC OnC~q eŹ4ym+ԕT[d샭 m_699rs)O![=_m*'_m*_JZ+^Wm݌oJtp%~.́T殻U4Xf ,Y\MNy(N)kNԻ=-]S *j`1;"ɿT!8hUy[uu[+s& ~bsW|3sp")~dV2iNTFgYZ7zXZִF! `w]ŗXiɟdN'LvH۹C<qWYzu3\S'|pq\UxZJHƋf ,Ms=}GBWzX">6#藖fٺKg¦\- /сS kf.8 dCy`i59o3g߳Lv* %~y"( K ' 1[ 4*]ʇBO"l7ƄZ : 0$ p@5s!J/aH6ngBj`'*Y99`gP"fS\2> u` !U-f kiS|gYZ7zXZִF! )2]ŗXi%IeEpL$4yDHygzfמiHK:2?&,p"Z8"o}XQ{W]'Wz>cGq8I{Q 2)ڝ}kׁCC/Ơ-j1T*7 U6&u1eRS^}T]zSpMǶB''CVL*Z&\Lhtoni3M(b$Mlw5%hj-}h#)̦+R/=+j=˺yĿ+o1'zJdؗ`.桞)Xlj!n3N3_1PBD$YkdLˊ[N1rU S"F @?"9,tX:j]qp B P̙YD8xԑԃ:? NYop|0/CA7m#3s:nHU0/G$ZFwqc "KdaIό)P2k ھg0< =Bp£|6 7i