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 H) t4\ ]/ BNF_Operations:threads=4elapsed=10.047cpu=35.608gc=3.420factor=3.547zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq7}1nT%|O#  ߞBaT Ԫ>"61B쓡QM\A\hz9PrM 4HUejM#)q^ޭ3ګV* \jED[ڈry"aĈW)nf;''p)z 9,Ԉ7ͭ){,kE,KVwv 2ﻕŵ &"]&@P{'WzN+k-ͽ$(YӾS(/?s(4 .VMyC2<))Me>>!څnf=]<F8{Ͽ [qz^ܒ<ԘZhuPvG('bx 0d1ա;D8y9P3%piD0 @ )gYZ7zXZִF! P]ŗXiɟ1˦r*έ=F).fU0pvxoƩZ|>yW4Mh4(9/VȖJ`U2 F ]?M~OW8'/DwJo?SJиOP#SʺA. +kO:۹bdf%wsM-@ATFrgYZ7zXZִF! V]ŗXi%G̉S`}:]6WF퉜eM J鴮?R F7:jxX|c*WR, &g&<uG e͵%i ʽiA(,!Z,sGCfx\^y҄ Y` 7{)r>kVKΧ{#Us{2pbssy`bgSX˛ Bp.:őFEAʎwڭ a`\TW* nş`ӨdSg.H7<.?fFaQm ;(GDWq:SYW}x6-\Rtfq+_R1{{MAN2H:F2A蠌f3 ơ@=ÜV^pqq Y~}O}hϠ߇؄Nn .^ODvlGN$*ݻ1pR?RDŽkiI䉵>@ފ+z E@=7 /(k`Dy7B9UEJLq#X'_L+ܭC0J09)=\ԙrT /X('ap~[9Z]& &~C2FRuc2_E_Ao_O|Huk$O|8n>Qe]gc090=J?Sŧha+ HTo:.('~P$2狹 KjsU߇o(ܩ-ɰ!9J`58nWwBz@ 7)KY;]zzKj@0I15Y8,;S` pK.D0BYHmh 5kdIngGE]ry|:{$݄~ˁ4<@ ܭA'gYZ543fc924b9a47492c06a08f0e05d6842ceb5566e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ) BNF_Operations