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 ll# #2Ou 2/7WnoC[bm?o(pw`X@ZSxM-[cVh\m)6jI:+UAvXDՓgXtS  = ^9zpo'2k@ $kUMȚT:v薾^nHXϕSh@0J^کW"Gpnե؟@lF>U\1R Ķ$0cS|s[s[l8t S=ybxVGvp5̇; O{ЬĊ\e/Ğ~p~)hM-Fq0pq~d(.}^3}qlNN$ ǯ쨡'hZ,(+w_x8 7K5̫g-Jܖ^kRu Fyz pO&EZo\;#`-҂}p }3fɴmho?*AePZǓjq_=r0Q+صKn_pGDtP|>vBbJ.eK`3|ϙ6[w_Pb2%HL&r*J2H TPT gYZ7zXZִF! up]ŗXi%G̉Sjc2&Ck/Fpi炃VVnB". #=_u" m) 3:-{}p>:'?jk$p³𠂧mX&m慝qa4Ļ C!?P웁= Jv}*fZ-1F ' U'`t݇>ݜABi4:U<*YcOcUZVV!!gZ[ IF*fs3鎿 [Q`nu(s&M#ZArAhx-dQNR%#5hxA]fp]` C=Np1K %ᓞ PfzK~/0'TV4L[4]uj@VA oT>&'!->;5>1F~͏!ƁP8q!d葔j81Kl1ybG&ظ &y`:NyoP[\r`4A@W/tV:}-(+5|6Y x+ xa4Mbo m9_OL /olQl8B*ݼD%'{$@"TVlduY:<-݃ My1/J "65Sl_E6D*Rԋ&Lϣ_)Q*MNI[ujWD #}`q蕱'4 T/bH4&xiohVsՐSQŬudD@‚OZТ pXne #l{')r"KL/J&l[;}Xwsy|z.T-)|z&^ /^?XpNՙq:XDnFGn|0.)d ʷ=yI~Cɻj!k$wZQOOm$d=yV$W,ku3-K863L׬Q+ZT`K]7&ĈrXwm)sIiG+sB/y} YY7ˌb| $^BJ+o6pV8wt(M˿Y @{]D*h#Gbo1JlQG)# bd}ɰ SK*zͲ#)na%n /'{qJ!悔Y;+p5[#Q jȿ0x!4@Bu>&YMS,+Y_22s8ߡASf'h eW G;M9z7=H 7>YI&,W,IߜV)g{Vv M!1n3( wyE_S;Vڽ80$myF#DQQc(ؔ Q_[$ᣨ!CINmbE|*m `ka`*Bx&-1$y`* ŒF<}0^iNoBo8tלvM#;w~.Ujq52lT2K&F? TLfp[bB@HZq)uZ=q zRVdgYZe83d2ed706fa32d6b8186919fa5aae6f712a04fb78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 # CISC-Kernel