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 "E g @=,fy!yѣE :9"gn#0]F' cokN7 wjB"㙛OcLߣł-,ήXc#HfR]gh>ĚU76~/%@ie7]vtNLPtl, (C2kfMX<$1cpQ9H)aL~ GV4Ƃ4PSwyXݣXn9x 6I(#I_ a;LҕfhC;k-B(»YG\Q`Y$w,%H|Rl.T3;ͳc\yރEϟ nL"PqA''~H<Ұ#Sp]G nw?GUyEg@ۤ=25꫆i ,g TK4;8$M>Ys?tZw$҃4ld*Mkg_kwtKn%f O6k Avinpdrؐo9qBBMWGօ^$[fGʞ.}ǘq )!`X  ?mksd "ΜngXl-!dUo`pd_V%ÓqKon=tzHӳ^&$rjts? BMNuovϤae`#`碕|ɝFnWT%i $swxU=Ҧ)l8'Np ORFBf!/l28=ۘ~ZX`?C:XwBrʨ90p(4-r}N1m}]6&x<݀I .<-5GD0\ jH ˶&/:|Yܮ\e5¸ Kql u=#-:4N,eo'a-ޭ7c;?I0[gM,\c}*WJ㡅E Vª %95k1)Y aJmT"ճ|HҴG#-89ʞ#"cu }좲.=m"#ZNV6SXy@_;=hZDvuʴ~[*/ϸtuW؅/m3̠31~#CfA[ce I\'Oh s58s],ae)NR WBU(a(:zg/$}l/>;Azg)kylltB70ޖm>zKA;SVo$QX37פ0Mw3xe/EyE޹BS}`=B_UYYg+