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 jj 4 t ]% RSAPSS:threads=4elapsed=13.582cpu=44.288gc=1.460factor=3.267zXZִF! ]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \Xe4"Q}][:R.b3~麐ޛv 2ͶvU6GwR*K̗Dp)CUҩ2㪿z:'F;f1@NL:$3O+J Ei8kPgұثxv*S5D5Q@J32:_׋z Z5[34t:AW$$(魻Po v~ ?MLQ O%};V>ɽR/16C}e/\x,bo+s`2n h]';4$&W[nK^tHWXQw[1xzL}*J]`2k^%*HO|0] SgRرK'v9+cl6/[朣A5rH_q K_R'xT(9cX"8x~cwǙUi+70GwgNd:TsW<~#>JYE?U}Z!|pc5YSC7>Dp<:3UT j"#|p[l "8)WmI1 @+n[gYZ7zXZִF! 3]ŗXiɟG@~W/o&Kր))c?KAգK'M8fyYRGd #̛6Gdm_1g O/Orh00u(p5$ټs { ^}ym`_z.:+"&B`2a9`kGW5X?Otwy :"IM$ifii:m Q o^ЍScIR)];ɳX}Ҽ~1l/ I29 -x)!MM s&+26 bM\&{s5I|0ρ6^U2s_dl 5:tUOQ"cWf-;QN]apD>u s+jg# YHdLr"7rN,qꆬ蝡SuJCZB{g|A]x{0;m fE9V ᕓګfXy=E,24qlˢ4+7R^}r7")J4e%?:ܞT`Hz+ݚ+|j69;]p7ToAy_ fC:vD\Rj#ܨ ,,7^# "\