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 d/ ,Ll ] POPLmark-deBruijn:threads=4elapsed=17.793cpu=58.572gc=2.876factor=3.297zXZִF! ]ŗXf[&J3MRag)-C Xʉc'~ W1w PAy D_=na!keFsI?2⚤3:õ(8t¤~wvUk>80EYsKtUa^B ;!ʜUJэMN@ǔPJ*ià.)0$R}qxFu{ȴ!P9|N &A}GIG]+%F跥̇gImk )2#y2he)\@msw;&%p +["`8 b\<'mUY{3XVV"0*sgWCgYZ7zXZִF! 0]ŗXi%L m?j74=XA*uϚ׮\=;\Z}@* 9+psA#vMOߑ]:ݻͳB}L3L683Gqߒ#@Y5]_٣%)=ᢝ*Ro6 !Ʀ#3`1ݔXLY6J ɑ6XiQ xK6."KX)]& 2KK>l7zXSG-L!EQM2%_TrȽB(u0D(as R8 [)o{+Sb_.fYgk\VRW،T؇Хۗ6 ]sR/19c$SH7$TRPo') [ihC[s <0)A#[ Yb. +أEyN&m׀{" $NÅKڸct>͸PEAjuWfBsۻ~%`@-ڧެ4QL%h`KpUww4E#fKv.#<ఊjk&ɸycdf gÕ]BI@ia2{ =ƕ NF9kM)eEO/𷺴2DIr%ny|΅:~e2k[Q9t{+Lk#҇q5i1Ċ\M3 fjY2jwœABr;iFC2_Enrfr:sW?DZd^EΝif bvBo:#L O Ee_Y DV}\bfY}UBWԎIۨ  ,2)F;WZ ߖǾeȵ<76E#ػқ GvP|~`WX?ePδe2lKs#/Xܕ;8ҫҀ1a\1$VWMcC=lIO?_H۵-4_]Cveu5AԚykRfG<=tdSЗƱ6(+8y5Rf + v)q HI@*ZF.ݪpecwH rĮv3`z- 7r͛שh«*!B*HzuTP,T͏W٥bc:oCU5ڬxVxt#krhVG[8qX}ֽ'೎yDQ!Re(pfU냰1fEf`ɱJ Vrt DIN̆dx{=(7c}>ɘ.`Bl[]&|ս/+:$ʴ$`Fl/(]c,]7ҌqO_S-55ɓΠp42)|= ap&7Od;iMq,َ;o/ P盔 4׀3$kdm,b,{?rÓUShTA-4g K38gYZda1fd5557cbe30d305d76235dc13131d6664c3f1d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a / POPLmark-deBruijn