SQLite format 3@ .  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info MM0 έhz+>뤡,[>u:^HqDzXGLhED D4gʲ 9i+X95ld۫ Xs 0Byla;r>͡I>VI[}N..M-Jd9jO&U›R֙3_IQ bGNJNѓnX?B.Q%E2XP |"f%EPNV2QM>"ЏwXm c& kCs;jLS:0#;/5cB1Qbz'or/8İ{EQbʗ_S:IXM[_=_ U Yj*`M-P+LT$vgƀѪ{")JMԧ-bdyMybGQ^\"V HFJcKI7'&.[\cw d>#q/D릻̗W]}lH yɤϱ=Y4}]Yd\ly>Vq^}jOΆ@i%۴K?d>< KzYND]P)Q+[ __+ODut0sŵar"#?\ه a-drD!MO҅;яvy\śW0H[6?t8MVuzh x+τOt (nA.4+ֆ~f5z::oc4}0#?crѥcO'[UWן:ٴ:Qo^OfgG<2GЌ|Ρr5 s 6ZͱgYZ7zXZִF! x]ŗXi%;4bD!} 7#q xaԀ {Y)MiΉ]ڳFD%@b釻/q;Spaޠ~Ew鰄`~=drCP=ZW`./CEߴC Dt'SRP+:^F pY2ƒyҪiVJx Wsh7RBn~=pGnsM(u럸-j<$ :XɱTŜ}7 ځrZRl AЪ`.`ݸqpm0̫keKkA`*9qsUBpG8͒4%d.=pw|+3◍j62Ng;vN)k~?1 P뜃>ϢZ5ΘB6$H UcYr ƅ!MG;ẈLŇ\ )sq1ŕ~,<6cz6?pXD޷yzŜ 822th U ʽ0ӟn_wS .:)9EP ˿U/yP}.]7qzVܕ-̂6$ 3 SjsG.nW&C Ϋ 59O(txŧD݊D,av06e31$|ÿ%*FRT`S ʛw2r7s3`7qS45WÝAYӅ{|E_h$$<' hH,yR&.0]g<4ZBz2ze֭YQoΥ>Y)Oz%hVN]Ҧ|kxd/+Ciĕ6OpUmxqA5|f=<"eɪ\O|Ig<qe*jvNxy%\YFs5ⴴgL#vx`P1VAÝ$*rb=.\~ .:3]c} t@dzH0cRQvX\ i gYZbec0b66dde2b757d4446cb312809e42fa86b6af8665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee   BNF_CC