SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 W' l O]HOLCF-Library:threads=2elapsed=13.303cpu=25.944gc=0.904factor=1.957zXZִF! j]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SIH_p^PB6H%/W`j ŝlj (6JDcld"; PgN2617\yګRy k`U+72JyB'_ny\K)$)Etskn ' HOLCF-LibraryyRF;h|VϠqNne.P0$T]eЫbZBbjK - x-(5 a)QnDXJ0֖-;58-s  O {)>m2BW\c*pY(DI ws9l*_-01,f'6ٹ jr4*v 'oXFm} \B8:U^ } ps 3W~3ztOeΐG[/XM{x,`k3 >3j$@gĉI[jFg!}+kOpFx$N 2V_ق V%PXKkR1WDϷOΓPXKK_,:O٠: 6l>vk+T$y@ ͔|!PߢoA~^'y>\?|"/- jϷ|B49MP`PޛQ_vsGTأu=?|EO['\Q5~ 5M~,D}tՔˌPޜlciCF/6w/#pԩ_7 ^/S(+,x 7| R+|:֑:V}Q@y6X5^AWpiJ,bD7j%KQ qQz?m\"9jwH{n(sv͝n"7; yBH]ɥD=Am3Į_GAWJE*{cE K7}̽wD}`ƕW0Y֜4հÁZ>B?hݓۉ4E>=Z_kFr">, CqDA ANl߶DFP[{˛t!{>K+$t0: PiZ=L% v džMuz `^08l/ Rg~(zKU:%Qn׹N31$|  q FJ3Yanm)es5)3ټJ*;̵ؑU;KXgՆށqaF4@c[EVdm5D ~`英gYZ11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 61d06369eccb52a4259b413e79abc18a1fe9a627 62efc8c92194064df890c6d90401fa344e8ab14d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c330107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 955cac15b06dca9509d7874f3fcc9889a2391d09407250d229e9948c5972e81f7b8961af7ae97b13