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 mm' l| ]]HOLCF-Library:threads=4elapsed=10.890cpu=37.924gc=1.104factor=3.487zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐljp_Q?ap~$:·LpN+Q0 + 1h7m'(*IX&KЍ{~wxת]bd&xZbj_KU5)ob1i!djlOI*6$Y"p|'!XD,K<ߋ{ E WQiEp8^ܶrﳙU?#D/N&2,D7[ǵײD`"<؛gl}C%@Y_ٳ2W_*\:q;v`h9/ryvWh¾3zS@J ܽ4vu5?]tԂ6I@^1n.Q #bbu]^đb˳ǰJlk[jCڢpaah9"tF. W*8*`]} !oh|e7-8>_[:6=:z6B,ebJ/ !ĭH"耮tZhƂfȚrŞ(ȘM2B ^!р`ƚ){gYZ7zXZִF! 9o]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf{RcI@ QS(\φ6;ykϘTxKbx&J.ᵦ'-l -: Yp(㔸KuaQ=$|/L>Vr6THrK-ԌKV*Vg4?GEa }ZQpD|X44 >aڏgYZ7zXZִF! @u]ŗXi%L 0) 8!mUhLOUpUsA\V^R_Z<QJު$Ov$s/g]cId^( U vm&=*'8@a]jy_2|8nGy( ?<6d^@2v5>-2%-)ʵ(}s=yTQ݉hx+ #_5XI~h${mM={U ^vƜ|weq_覸>.xwKNzqEIORc^6Sy*9{A㶱p\Ppeכ/%#diCp7ϡHp-!&b2 +UX:җNb`!N[Ĕlw1 (_YڮS,w|,Q(NEiLW& 7"P46t%1guT3zj]Fkc7W&R]a8,mԽmf]8Rqj`fZAg>O\KOCq ⤥"O:$?,%Mi-|uXuѩ 2JuvoycﭩcDH`$SK c|L&9}yڕSB XOɡr}#헎3ض\!PkiO10dG[PTy 5ІZn>&ӹ#3k֨mޢx0- ~rS Q1Q?WQ=XI!zYA ]W