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 F |d< ]]]ZF:threads=6elapsed=12.011cpu=44.736gc=2.648factor=3.727zXZִF! 5v]ŗXf1-) enȈA"tr-j. ZbNVHSw<Fx0ҧG%tIfxURKjΘ"<4%LRb%sgGn {O1VZϴj%NޔLcV4~~@iy$(yPcBp/H~pг;s>^."~4g>りVS" [nW*Ը)17$-WWw,mܖh#1٬oj4,K1I-z\MDfq||= t?Dԉr #q^( S KFÚT֨ݜژwΪc'v&0ۜ}d 8+5[i?(6`pdC^}<:1r&MV8Vwkb'{ $)IgYZ7zXZִF! C!]ŗXi%#8gEu{)) c/GG+D_ ni49y؊qp ;ضJ_3䲯\ k?v};E 8`+#Yp|hܞ4Heg8ʊ.ćamz׭YΨ( - h K BօTFk˵sƄa$HLvZ0_}^|_A e0YcM$k8xԚNOߠcVC cb>H]e{u}WڔKl i#kZ|ĄZUT]Z|i\$©Kuޮ%_/s| ~P&O|&W>{—qj.=']N^v.c&CFϦӁ5zW!dn't Ӈߺĺ'=..0`q Zu7"ZLqBpBo}issha)T+Y|FG,M2F~E%nUh2:Օ%4<]Cj״:Zh k)gQ$N9`RXi5~똱NzȰY" .Zt\$Ɨ B?gYZ2ec4e79c5f93fcc73c8f72f1ca058d4b3ae52dc7202f6f92237c25fe02f241fe1e163c0a4bca399a0f4e9b3dbdbd9c4a8993ad96dfc578e6ec05cd93  ZF