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 +- 4< ] HOL-SET_Protocol:threads=6elapsed=20.680cpu=90.216gc=2.188factor=4.367zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaаe@vl{% όg1Kj} l\lzrACڋZ4GO9A% ȝI)Ϋ366o&;6,"-(LZ +COw"a~#YG2O*,sK$ː2r0Oj~$0cFw (7w杪a3gV}::4CW9c{^3qcOȡ"rkg^H-ܡh/ciy BmĎ> @in,䦦Ԡ9e$8Hb?Fְ5M#},m.-.cfpT(1㛃"C5= ?P5U ұТRo,Sםt ޱ*<>Ɩƅf j\^Ggm f(&D_i>f}Ǎܥl?c#bJ 9~K4{,܊f\/n7HS$ywy׳GL{чJ(:#@fնuiH5b:/jfqX*(gajL%.\˰'S0 1bȑX_/Zj , [DxwݶˆsP\,A7<2S.mu Tq^8XTd9.FIĉkAdo顦g`}ɎM Kԗ.iobp]IM9byX:E~֞R|㞌qθG陧  ;b|7ɀ}J* 5>wuTLeu!>8\2Ձ7l!U$o(UW\vgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtzk4QlrhE}9騞Y7 tSQ wu:{gL[ $줠-un 7㛤k^[={uTYpł 0s ߙ!4,0aUNw房@q!L# Y[T>,gYZ7zXZִF! e]ŗXi%@`adV)$)po~.2JNNNlrsGr}$(ʪN-O$s7N+S]рO p[3^7G;tYY11׌i?vn{ 88-x 5Kb\meDnCJTǔ z^^A }bfŜl ndvl/I;YBcJ+8rJacU6i&|7ai:< m9P};YtbuZDl2YQޥ /jjE`j W^qfX|:C?;Qc[Ro&9h>ɋ>PЧ HY>)`"XTo-/2J* 9\ Tmg9' Fې_jXuIJ9hk{6;-kgx9p6|y{J6DDۊ:DI n&)aoy[q !Ax" 6 ]C*`n> Zn|s'݅#ZI[luĴdn_ 9#kUۊ# _UTz՞mտ*-M\v&YVXm2V$)"AzŰbW3g܇}bmX-` 9M{=h0kZ 3M@?hNjvYf릵ڳ-R_tB+N}JU `=5*nt~f 4;2&qJըi{=*x #=^l-!)mYl QuKf$(G lCҠL}XM=ߐ0yWjlbuѷ{l^feIodtVz$7åΘ^yc( Ze5._ͩptk#j A怗M2Lbad_+#6Y zi135xfO's#bp`Ns|A aQ&cTmâ)0qQwK4 o_R^|:[;M@lx&T֔0*(vך s!T-}hح{bY!C'2yN0 Mc?필]/>KTMczvxjDD 5K*Y&e] MM?|>'H$ rփ2pFC8w1Va |Dx0fV@!i]Sf9+prn/J nysyO[Fѩ[]k׻1 jO݅#w<DPuJ 0Now  qNA