SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 uu DD4 ] Datatypes:threads=2elapsed=49.053cpu=69.596gc=5.296factor=1.427zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sL3p.5!@ O `.Ϛ^3H rN1sC>Bke\HzkxpA:o5wX@|$!XS4d\5K/fw I¯jɃ(&vWgqǼk k fS9}I<CD2mY 3`|ʶ@/LJODC۠mȮw岬w]/4r e,e.Ҧ{Jt‹޶Kߏ8y>$T?} |G$KJT7Vf`0?w8ko!uB)|P ;$19z#ڽɲ4 V![9xh|&B/ɺJgYZ7zXZִF! \]ŗXiɟ&zLogkZde`+s}~m!f`>#L?%Rsnrĝ6&E8o0Cp_AFnB]FHe[ѿд`L: 9F0OeTL-$iUtL,;x|%b.{it 3wffeB-2=OS[sFgagpJ \iz8ZbuvX &xk,7KMDIV5!1P"ki=V^*Rӹ yk4{Dd" P+[nwQ.W'F擹uߺo|[6m]\ja:7^cYDt&lW:EJ|ˑ%c(ki9fGY>C-kmyt/P팼ZNF=$rlJsdVO_-6zSy`__.sTHntgMEtr[ Zt*Z5Qi%Z4c<ʲL /H2_Q@BfLQ_5vEC<%E})2Dyncx)>bHVU`.7۬c7C_x$G4Z#EY_x"^6|[;S$Ms ²ZVM mLR) $ʵJnzeoCv?ǮC=HЪ%D^rNb ԧPW̑?Sgʏ'>?+P4WN9HvG*ENoDzWَ6↗lMhKPMfOZ:y%(r2xV'KT86- ڤFm!Tl p%il.}b4?> <M}g?,*3"\恡''҆B ACdNZ!;v9 z8/eK\*Ί%4bfnd ;^ОWry9Iر}$ t$4ϲ54M_ǡ{==7EOhCq"|,"'aqby;hWGb'9l߈]/vlEr$#6|1& os1Bj?()"'Ѽ*EU;o %g %w\U8+27Mm+FfADTIm+Zy Cp{[BxB\2eide-h".aPoZ9%(YƼ|Pc8mu[DqM3G~P)Cr5&G*^~eQG!fÐ~'haĖ.Ƽ9!X2K>Iח^<&WH[0YdO<12?47 ߜpK2fZ]5v_%izq 4eϦaۖq*>Fы^?VpЙBDahRVp?˂PO\l=&=Nfv}[4 97 p3kY['64:@=)t{<p6kj2)@.=yGµ #`8Ϩ^)G1%}8bWuo|xg??M1zbAߩ6'zFBd,Z4N\]UG=P!(/3"r0/d=:Msbj r;j*h3aU l)s"QBɏ'aU!#YyN(y4NAvfK0fp%aHO!%Sk6KgYZc8e8e63701bb9383af4213a29859de148161cedba9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070 23620354c57eb567d552cf9b0a331e62bb638f82   Datatypes