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 zz' Dd ] WorkerWrapper:threads=4elapsed=7.439cpu=22.348gc=0.924factor=3.007zXZִF! ]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v z. `'_z? k1F=1bJ|K ݞZP$'#-K0H/] |tp(ĞYiȗ"ܞ!w*%"=m8M:-tMih!R;#Q:yLG1jİY元"WiV_D_Aؠ3_9h^ A>7Ztmy;pƶުK+,9eoԖ!_)2>n RqD'?xTJ`Jm >H9;ƋOO`KK~~}t R•P_*=Qዃg)h.ﳸu{N{P^ha06МiiNJ۠q2Q@ruȪy=&>Gv22 H;=(;E8VKz}ÔHWl!2e#iwƏ(EgC{?9gYZ7zXZִF! 3:]ŗXiɟ mLr?wl:bA8YÙ#Zp"̼JoX]W3FTW}8@v= rmKіCdkFnRׅBH>% ]WfN`S]Rn^]\6.G*&+4( AFlK_<P^. ru1s Ԍi]PorY!ڷ2fQ+3#@ۑ;)p3뒖xtxyj!n #I A IF%! gYZ7zXZִF! <j]ŗXi%G̉S$?U8TƮ4f/yCBIQ(85#=!eS&^yJlݳZi}YM}[fc2 z} [ӯ|ppGJD85ЖnS# ^Y3/c0AśWDҺA/̰1z@*~1K;/JƸ4繾9K  UB{₞ecK5 ,RMLE r>X/ϭu\AՀ_^_t;aĔHshd= 9ebWnr.5<|<4ߴS8hd t<`+W@%2)܋ yuJ{GuTVn~Lӄ/4$-_%GsYkKhhBqInf^E÷āj>9PPm'`V[g]L0 )JIgXXvf],r0cVR!\cFb S&N*a8-ۧYY$c˔}y&] { ͕Jm57ס26Lw&7J휺^jqlrm>fCy.d@ ^Ik@3us#xq0{vcD RV@}v eѤSVPkuuGraI{CG;XGZEš Š"jvw{L[_Sl@76 @j@b9?C(3ompnR.|r0̌f Wd5#Ֆ7wK_Ѵ^Z(%ܽ i?juqo@@+]*e0!xBAnQxjúOL*uF ^<Q xvI`!~ʾ/\]F?lۭ xDӳoB2j5_QfEe43]'{ +ǮXK쾔7j{Th|[(͋Dϸ 2P8m8cdJ¸eAW$ׄFnjӍkcd62텚}(}Lh yNgYZe9a93e5415eb5d73c373c6fdb1f3a9ee5de6f18c78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9cae5228e4588b9d3309077fedd4a26ad6b21247 ' WorkerWrapper