SQLite format 3 @ H . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 h h ?t$< ]]HOL-Computational_Algebra:threads=2elapsed=81.493cpu=146.508gc=6.604factor=1.807zXZ ִF ! 7/r] ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(D㢰ߩ6Ww"|(O"#DqΥI"?d12\fk5ia7s>;Avݭ2~MX~gy WiQqaOh7+@ݩ:T]v70f'AmunѨP.agCqJyOp ǝ*,CE*9xe9<êq4[<{K^(Cd))VT?]GV:gjLIjh 2XJ(p>W&o٠n3xөPMVE#e1+ohLJ#74XOG}tRU@)gyH'DjXza!װ-^6}e$dDQO.X-1`ZMPT|GN2RE=zq~'TE?҇_taㆣ8;%0gG )PʢhylO2)L{O:cnm!HrW .^\XО zD-HN dY:ݼP5Zבoy
bϖH*D8d߀1eh%vFpl7"!bpD2eϨʧpµ<ɿ)Kݾ/s.`akf3J@{hcorBm镫Bg
]'Aˀ
;̖F/$^5fS
qԇ'ޱ(9bIS2ϳHƥ!Y$Bp&<~|* (AeP#[xWg8"oTjjO$i.6Qw?G)d( 7:5FOJ")^\%^Ѭv66%6p>8nOu?Z.nI"
Ec%F~
|@VrW-=k:L=^YyB"{o|\όMy~qsdL{0y[=Ԡʝ~ev ģ2|xAfd~(gȃJonE[VK߶B:z2<ڔK&,=Wq.X4c"uG72q
3XNG6T $
36mQ[=jFIh *mBﯾrG~nƑ?CqR˃tz;S7jũ=mTJэGbRhFwS<]- n 8ϱg YZ7zXZ ִF ! ] ŗXiɟ1?Ԝ*LwSO"۱A9Ho./<;a?3)};=\ϖ6eXj42P!Y3;H7yт"9mj-ّx6}OzdX PyH6\$$4=רU4CA mv