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 . |\ ]]]ZF:threads=6elapsed=12.936cpu=46.132gc=2.964factor=3.577zXZִF! ]ŗXf1-) enȈA"tr-j. ZbNVH>{bѺ@‡DSyhç W-pޝoXlzj#i ?fʂ6[f2Ik._#4^=8&G :k&ʓA]2o<d͋r} [՜ȥl&^7ۼ#Tv0˜Zö;b{ ywy:e*ָ™*OӠNV̙CvCYƾ8*֔"ASP۷}!ѩՂI#/ixOa̲kl˶qE޺Wd`ý}bݪ8&.xN5Lߎf^Ƞiq`Kp*bE3q) At XB$QF4ux4@p)eŧ(L7LT(M~!owC(qр;±gYZ7zXZִF! 8]ŗXiɟ 1FE`空ZP=(pܮS+?hm(Kn3hX:|//y9ӚmY${w=Z([iT{Y*gj jE0FVyNu#Oo~.~@HSƛfro#7<(LU$~ۀ|o\(*' QՇ#}1't UM{juNYZCSOw# ٨Ǧ{'äT\J/ 7kSfFiɃE 盓I^PaS5&@av(-nʴ23U\<#5`knYbUd..294ܿ̈́-PulL1O I Td:X4C%_kMz4&O18e]?ʓ$M]!7rd^2y)Wwlq顑ݢ_F`!F/?@Y"Sŋ%Pà`(4˜-߱gYZ7zXZִF! H]ŗXi%BjwY9N Ԁ L^&Mb2lTHk-* R&!+{Ni_Bh7׹ȟ.*;q49âA첥X#]9jѝBkR |=XͽrP5 [Ha?=,g_K>%ZyrV slP<%WIS<5GsGtQS`B =?fפ4dhoO(-'3gy%INl?:Md밙I7 `ny;b =zl*MJbv ڇzRlf2LFղ84rQ1к/S?Gu%NcfhY%Rޮl \. yn;Sގ?y~ [exv7t r7D_9VP|ޥ'3MijZI@1DhI9EZ u1.Xۡ;1NLhi7׀>HP bp#5iai%;#BNtXEQ=!F?F?g y/Cag@\P]p"/p%xC.ѫ+jle%B3 E~?Ym$#~=f!R+=}/!_:{m(1Uʛa<UW⧩o\A5ʧI5Azw"gЮ=`z$cV, M8+Ug}C[jҼZLѱ\~}klaԣ \' JoϹ Ŀ~JHo@DVp3Kn%bVІV;uB} Nknl!n1(Ok! GgU=N- Df E(U/s@ 3-5"@m&`^shOM @R*'}>"!_%^u<4~ܐ"GJv×s'MHxF4 3cݛr(q:[B?S/!pb` !}欤gs+6'^\O.f/uJZ flcC1,cΧWT'#Qc;y(J6Xa~Jaۇ# e7XTCȫ?kdWS<:l]C zpWRkmA<g\(X4S9jpMT16:,菹OԹS=* CT]wUj-b#-o 1$W/] P`j {׋!~.U_VD~z?%ЪAwTl0]!Fi ]'f%zQ:s7^gYZ44943ce81d6bb0449678aa754cd81821be3d930a2de776be54086cd6f5d576144c34608108120821179e7ab1e5f557e1ad70444272e2009ed10a8a91  ZF