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 `)  ]/ Card_Multisets:threads=2elapsed=10.322cpu=18.268gc=0.908factor=1.777zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/ї5߱'|<OxJ?;08 {I(D`TO&+]^~]ƬQ}wP8z?D*c8|NlusLHDTgOxD^ǰ䍧i=֪H֓Xv +8066TL`ND^+" *?EGqk'V֚7E;r^HlH)S{OE \\&&f@1i:6_o"&Ea3! xϵuKAckJsk=1-ugYZ7zXZִF! |]ŗXiɟ1˦rYsxgp9f閷W&_u@@}^F!ɬ:`fR7:F Q[6Z6[7*<;!$b8wUN!v'8 gYZ7zXZִF! >H]ŗXi%>g*o8q΢Q_S7}y{H(yy k2r1*j^ϑ0l``W [miu-~m+WPOY o:Pޙ8 tb,P9UYa/Hpq}((iO2?_cgU\!?طabՠ/z&c.P]-M$ +`GN4*u(=`1tuuJ[(qzZ9jF;tr[NwCœFBBUcTt\5s(|O ٷ>&ޡdiݨc.<Z(m:Fw;#당X? :*8tոnO{f[jWyF;]NgN l5P٠Vk֗2Rևޡn>zu(D{bi u1l (O ~jbڷ4s6RLߠalu$s#w.dXxd||˗