SQLite format 3@ .0:  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 v# ,L ] Shivers-CFA:threads=4elapsed=20.782cpu=62.164gc=2.952factor=2.997zXZִF! s]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X +#lDډ1ww#Ӧ2;/ -JE1`lt)i1oҘ'8ύLص7"(|_ OMfB2;՛CONirf[>@0]̂u8>XԝE -P  [Li4a&# Sr$tGKшWɔ#;Ea xȵ9&Q,͖7;p(Jj=a#u}_j!} W3 tr` vB+n\qmIufڇݑ_BOm0SI.ڍrឿQZO^Y8<4ؙhoVƷ|-N\5/KQkd^so)ad^ AE$_nAp !i)J@ty(IJmF?f#n}}q`YoD;?aiYSq#vD3p=VSlcVH"[8P^Pnn) -& }8oPQP"-[T3 $YP~m;(LdV,C qr5YP:Aq.o4%-Ӡ6B 0Q`ݸ Ϝ |gubI/^c\("ƲĭIbqf"${Lv w9EYvJp!m#62-v2h5\ L  o“x!*N}ۃm6A_2)4,m94٨P4y[c{o` =b̷E>}>Bx %?C^pJ緤N-'I6b !ݺeb[à1nb};.-@ҬGq3fC9oMxwֱB.8߽5]pWwX?=ɹ\ m6&daA~AV6|Q+N %hC6ɬn kn'=8(&rHkI K7"q}ɬ`J=8^win3?1l uD: tdsOEQkh؏?4&G{r3@%발ܨ>+dWAF ֳ*"+#b,)f!^ɤ9Zw!r/@}mlv+K<2_oS"8#^PSc){!4K 7`$?#iM(LD5{p%1xyDG_VIH \0j0BGBP\(_/4Nx˙4Nо %!eAj *5K N~+{#,Ha +RTkq;~\[4eH~?g#_M;8t?4 ÇRr)*'7n<3>Eݪ Tr>Œb|0ˑ;يxz34W5'5Rh떖<.Dz:b˨u,q % PL . n 6_r&7SnJ:|| `L?Y2qB~8kY9ͼQr!YT]i 1EiUV挃`-?ஜ.7n%꜀:D87?!PL `&}@]'$=B:m)>e)knmW;<0aa q@$s)sSQbR)P)WG#]Dr!  LhmߩVAv߸`r ~MXIaYJݐRh3#(nGԽ[׳+'e..P_DŽ`FVu3f^MER(Z'".(fyx62V"'SZ(2^svFnl)d.<`fg9wc6;.s)W'8:!Z~.Bp}J0Vk!Q{%6ВhH}W:,x9}ɲ-.>