SQLite format 3 @ $ W $ .C 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info * * 23~4dD ]/ HOL-Data_Structures:threads=6elapsed=235.330cpu=1359.284gc=122.7567zXZ ִF ! J] ŗXiɟO}M:; AuO||'Æ.DңoдU"ѹz{(;VC,j2 DvPiZQzB '`}n|a2l D}O#G41nM|BiεxOFy}S-p̭'UJ\% `&u6U=w/dڿl11SFh b:d(f8 f\2PzQ.AqPA+nNcXP~^ByiM>7HHyʀSЂj2d((`DX+7}*U 4 _Jg gV2} 2;% ի=iJOYu u@Bɞb~aYe2!q\A@阁Ȁ6&{c˼E{!X`:;*&ÙF%+.\@~ڛ` f`]d@3$hcۮǸe1L" </шCC7?e*.hBʋ5ޱ)u7ଌ3Qn ˆa|/23d*E[`eN=qJӁL^JBsr<rQZ]?M*7x ^2ME3˷::у<5Xb'XdTk,Fr>Sz\rKiךOIk)/ZEHa9ؠ"$%V)m-|A!*dV߽ybp8WaGK@$q;]GED@sdҋj{XS Ƀk4KiwI mZDyȾW=i T˛z==cCF?=1^RˀrgV=cʷ,LS41+-˰_G`2nNfMΒan L?ߨ>t@l?zφ0[*3؞y&? Z.}'`8L^*9*(CU#N0M-P0d/VI$t@#f1d'E(j齚j-|b qsJ@_ʑoNە6Pt8XU>15!w>)Wâ~!N