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 ""[ L,D ]/ FinFun:threads=4elapsed=6.180cpu=11.484gc=0.268factor=1.867zXZִF! e]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p<,8'INgTDI,d M9ng#ЕÈLI.]JU  l E#X zQ;wPlu kn9l-&Ө4g#j8lNx7_Sw;>;uemW(pb\)xf3D֩M Hx>> {qmO򠑞 L .ΞuH3Pj0g\@obW+4gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5dj0ҌMF\Z wy g;y!(]MĦ΅N9غuR.saҟm,=:'*X`Hl xv&J`N{gYZ7zXZִF! 9]ŗXi%GcřAtQ𵁬[O$s M@@uY48X٬Z2<ƢiUE0B@wq7'xovy7<L'?r#X~G}Uv gg!hLZ UkN!@,N |Yq|)yu7AT%)0X4ڇ!q*ZdV( ;]8Jp*3U.l=$OxXuge|v}};q% RÚ&b-GWvN@s{,*h(qL׷Qh=TI-cnC$Q\$)e)= 5Jhj ؍w̒'-mv_Bkؽ[.c«FB]G*5BZW\d&w}ҺM#S##*a06b