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 6% L<\ ]/ Generic_Join:threads=4elapsed=18.260cpu=64.676gc=1.852factor=3.547zXZִF! .]ŗXf[&ID+]kce Rm+v$)z)f ij Q{/Pwl:]NSia*"AQ>.Ym༓tM0َo[S&g:l R c9hzo,?/.YҲį>aW^[<Ńu dLNօl|!'Z3X+ml hs!8 :4!qxe|!Y,5K^HBS:H&al;d~+U[׌y!$'ӵߕ4m^잗@iJqHݻ(z$V 3t6#5ꊍqNTg(I:8)Rwd{ g,SmEyrsu[lG {x~݊]U3}|tQǙcALo[ 7~-Ĩ' ZڲuWdZ,YNSQm }';#%4z:ނmH$]Jz'Q$QӤd2D{OSL\fMMxfYDV+~_l!SiWOzm;?"967/;`g!dX<:*l'cfv4ɂ {Z en*YEq"맹%#b~#6^[$n;< m UƎАuy omj$ɳw^QuxI7,`5vqĒA>\`ӏY]#1t9n1㋔䕣ۚGp;L@^H@>dfPJ9e X98=h]OAVDb^yՉDjv&-@?ˊqeapiӠNjH8%aϯ+};`]L'gYZ7zXZִF! >]ŗXiɟ7^aόu&XL{qdt LgGFOz8KbZ Г.yx˰~M!yQMDa`-'9W}40l˒ain?vIp&siJjֲf(4ŢgYZ7zXZִF! ~*]ŗXi%G> ]+[]ԵX&4)X#bOP=Cg'c~ TK!+,%^"^ -7~olʦ]h~_6/+Є}c釐sOH('Xg8 Ta?2OAx DXts@3q]{)d177T fg,k-v"K0q"s,J,m߫>qc!V&{*X{`pbh[3&Td9wF$b,NKpl&h "2]c*1/YE q\69I;)Y6y0}lO,[[,Q`TL;Y|A\((*KD"M (E`ApyHh<)a ENA? gPe֢>VSNvqMuދf#8,DR 3Pna@ <,GlEe"j=eࢨ4ɇҫ1&QK+e}Mf@Sp Ѡ`xƩV7a@gMb 2ty)aeiE[%})CؓebY-lK"zw~lct*7dKeakJ"Gx B:{`‰M C:o#"7MەSBGXmU]r/:gr̒dTEL,cGdI Y фz@0gQl0^S~gYZ64eff8dbf167eee399ae0b0cde23f5cbe4d260bd4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 % Generic_Join