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 L 44 ]S Pell:threads=4elapsed=14.057cpu=47.300gc=0.768factor=3.367zXZִF! ;]ŗXf[&.y꿊x\?ՁFM8j7t*T,?Y"4xrrK2?$5_ w`Gd^nsNNbR_Hڏ:rĵ{U{iEiàV *D9snf,D؈Qfy\N+P|/Hl[^Fgp!o`68z !3ӓ5yky̷Ri5fAAv=}V"B჈T'I+LD.:'p/8#)=Sѻ` o74겔AVW:@`@=b m_XΛ^7!*/; $b{ q.m! A*zgYZ7zXZִF! #]ŗXiɟ}]B)Z7|; ju{|FeX:f4]W|KԁHqLBG-g@ʡϤWrrE`o^d;BFbΊ;dIe[][@^a:gYZ7zXZִF! gi]ŗXi%I,# #n\(VDDٖ7n-)/2p%t"il\Ͻ~"NtjKEܘhWk2:%]k gBÁ&י1Uׅ 4K4 ,m#Y#j5!7S龘L*M߾ТtkA>f^)QN}eX'"yګ"9k(v& awKIj[؃8[Z̈́R ,5wED@9uz6ߞu?=lCu:ȫ5$E&1W֟%z1F&quYTg@;A>a;ޝ=,1hȈ9*fC8}u9ެs"1$zk8JpX^*x * X,oxF5Taч*r@"W GFcOb"{rn5vy Π;4$O}NGVQĿ8X3zbIڄ]oc2\Q،MI}hE0IUP%g''8d^haۋu<6l8 ;qcR?81ve(`@yJh}COt㘯۽$*k-=?҂ᢍh}~N{z놇`,pRMh]ylKӷ U.;\lRO:'u9 z(*l̴3ۛ=5XT^_ϊW+]i@&K[ ]&huϷ }2*j2H0? T=x8wvEDžChvscu!ihIpkIE?c 3) Q r@u#&WK20dR@Sx(bETo98 2 Wxf*>Xߤ)9a O!''HrO q( ǂ0Ջ篲?c@Er 0J9=©OGx o?%aIe.M OBz"mݧMn.ҠbfgAN\1gGߋ)R_cW di