SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ZZ#; N:=6;g v}Wo-+vĞ 33;|gkB"^c.Sh(G55Ջ@0"# y ]{c aOhu5? 5ev'6jp0BGe+3B8E;;gcDV0@E xfĢzXP%R, 5dVgYZ7zXZִF! ]ŗXi%6泰J>^45ڽv~F̅"z$`LnGQ@0#[/Y oB8f^ OJ;%͡<}՝P641oYt2'ˬs``(Y&H*4wG1\Sy䋔7  :'~ĥjB3@phFI#>2[KAħ2 fkje}>P# En'WQ_1^=x] _ J*V\4ܽ̉,vP ~= catCtd5ȭh\N+cOG-جѳOX..J}oN)::X/VmJ*Uiܿhj#6HW\ z|7#5/ޮd7Tn=>?P0S{x}r_/  q\w=cWBY$UHE7C/]}v;bt&w=0[sjYS|3Z|!=ЄRD0u9IUtPR`ޤ0,`]?W^Ǣ~b8k.EF QB`#b5Td&J RfNrgkV/ ,xYv `trPr]Ȯ2dKΛOj7~`Pȱ0ކufjs 2"&!r<79E\01n֥4O@7$H%RlzCGʡtތʀGY2IF5H]Ģ/$HΨEsp]0)̡$*uD WhF`ЅB;yj~<%JF 3~ 9`1-ƥK91Ǎ@)xOYܶ{6Rx-1{)P$bgTz S.B:jb|dtxMB~xW2CA\79藗q9μt:v%_s1@ܨevgϚ- ta1\ `(EOn|~:AIkL3EYAs5Rg^=:>;TM@%PoCJ{-l=o")ȩeA͌T)'˒:˹Ã?X"0dk׌gyF+/yzvgp gڅzwQ< ɭc4 QV_W_,rj~umBȨs7Q At"Q54LP]g&KÀ)to$HYp6+MgA/Y0yp +iM] ?FZ׭gYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ae9365d4973bb8d9b5330551312b1e79cadcd0c2 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e6624e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 ; Proof_Strategy_Language