SQLite format 3@ .;  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 j/ $ ]% SDS_Impossibility:threads=4elapsed=35.931cpu=91.452gc=2.052factor=2.557zXZִF! ]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,yݻx wpd~ŀOrqHEHu2ja W.h:HWڍߡA;8"'$[{tn6r\/D@&a7 `w$"l⦳+,ڨڳ!/_ LEfPee@ RCy*˒-- nӦ6vpesecg$0H!q_y0at{]OT M0v4]3!PhJEGSsW#H` / SDS_Impossibility  =Up #,h^9sd&i`1˛C z=}>Uqkn5i{& f1Sp\%Ի:[ZB#"^!ahpf¬VbG= 9.-6qIǘ|ou3<;vk@= eDG|%[:>)r7ݯ(;'y k2TvXδps*YӮه`%u]<;K(}Th2Pcrnfr/AOG9{gYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿ!Uqjֶ_TBz5@^Y^gZ}YZ7zXZִF!  ]ŗXi%Ix>Q2짢rlyCg=1Yr`}p6,_U:arVPG` YFuj|K4hCގ+lK+FY˻0qqKE]RB俕[v&~IZ 6G?4 ikS3`8~PZ zH<;#Ơz.Ȓsy U]FMLbW@daؔ $qoD4ziMf&8fgB e4\C2KBwTr"}|*:^#[!3 Bm_)eџ0_<7QAqL)ѕB[a IN4cI B*FVT3r)%<5K;w:Ȃ YFv8򘲑:-.4@Deڄ#wz{YzԳ=a*8,_@ǺnI5l׺#Gç04b؂``]ُ Nc*֔$4D04v`6w*q7waH\i~q5;XNl91\ՐaG-ˮ/V*FB0+\{W=WS42[-Ҷ;(9F.W(k-;r̓B|yd7@/+b{1Wj\'2wT\Y=v$RhybWQ+Nټ]"^;d=\ ʎY-dL <Ɵwz=QI;5Ň ZX-8ve+Fdz҅M>t6FF!YcTA~(Bzz(Tvպ+4ĆlďEs}"&>A}PHv;֌ ;!y@8I]98Qk)R_u! MMv|1feRkt]GCp%` l1te۸Vx-]_i{z\Mta"xsJ^0D; 1_~eڃvYj.Qw*LNC١]( $S#oOywMU }p|`j76pQ0qYU86Q 'kX2ğmEy[~F=ꂰlA8ǓzMx&Bǰ07 '&qp?4u<}_=9-M{XfUV" A*GVMbպXAdd5՝4DaqI}`DWJM[Czڬs_kSb.p ~Y_Gq {jNL$3܂{E ڄ[rJoF-ٷeSFxJhPSA2i1zE3Cu:^Um}OO;j(TI?.wM#\Uߌ\_l1Dd!D,mv|Hs5&WA/H-ZN3-Mx^y_)b6]!ۯ ]x Un4[=-M`3ɉ60?ʔ7}!@I礷cȯL̵aU%XH+آ %c &]!y+wz4{ p0E 'Vr{fe~A)h;l4 AEˇT!ږ@j;hRc'd@eq-5O7=rE{Nsn-ӁEP뗜ehB[_$ǻ;~ΦB:3aA NPZؤ Y,xp[k_)gsABFc:p{6bd,S07*6tXB\&<Q-Zc:- ԃ=쯖вK9yCIq`2ehJd5&b\δo0 _NL^%5- "t}JƋj&82w ͑~g%KVEOwxCNP8!2+GvZ)nNn06N:E^CA^сSkĂaovceyr8aQE}=^&E)wKd[^/I?%YS!b4UgYZ13eb461eb8dd2c0865a0863700fe227028d2bc735a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 8b95958ef3078c9f930d3273f90bc0907f6b6318 22fed8113ad95e4d2c1cad63a34143bf0995b93d