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< ]S Lp:threads=4elapsed=26.146cpu=81.476gc=1.364factor=3.127zXZִF! 'sY]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tszTM!IK?d$3TN!'W\ME2C4ڃ#~bhٌS<ƙ[yΰzܰPGqUi١f;dLA_|-zZl6Wq&Ȫ3 ޔcn[Y@y">L ҹ:nz z U-{Nq1rkxlnwNS9iNr e> ۏbrҠ S"5)g6Zـ/+Jw<ץnի \ L,=/qT,G Mx}Sa{G\o3Ȩ"AfΜ X2ΆؤfدC׭M# Ȑ'y`Cm/$@9;ڹ*9+M/:*yԮ Xil&ZN6zűgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qy0ߕ 9}>sc2I;Jܢ׮+J1D[wj2.8pX8[ b]; gYZ7zXZִF! ః ]ŗXi%L J)rcN$h'754"k~-s= Lr.󮌄e1jy^?{-j4,RI:Jڱx!.SPt̀ D\ПcDCQ+ډ/`y i^S+Ӊ,&Tcmgl".Tf` v~ ZpC(yJ r,A_jaC%v(T9H:M"͓t__8{En+8H2&A[^~tXoHJl)Ldêg>{U\SVrhlwL=~77%pa\ԟݗv# #rrXb[eԕBj\'53nUj@ܓ)`ⷨHѹv#۾3-">)"i^r5"{vus8UEJjK*38[ 4 e YEct7Mp-N&"vo[yxcC6㛸B  =H:⢴^={V9]03}6lWQ&|BB@ U0cGG b@tG}R.%CU~Gܴ^}*ധU<&h1z6aU ˛>J1F) N0ͩzgI֚z_Ԡ)ZY^8sƛ7;Ps<߄JL/:NcU.Z܇q'9o=)M@fkXl f|QcPL^Xr?7|,E*!IVC$d }BZ[5+Q:F-jm>hTmr}Je\)pyb igS<%K<JGOQ1PC&rﮐ)q wXƜߨ2+q!jLy:Y(*d~ifF ܘ* 63HRPZ">9~k8eSL'a| U,U@ ϭGpyvПM5󗲁m/(j4=r5aTΈ\%68{w8kS[4V1>i~fЙ $Fk a89=iܘF[Kf${(a\{|dS[Qٷ ѓS?3*ep0w|2irn쓴6OC='8̓p8 Z~F y"EK+4d6v `Id ݔ8>smcm{U??ZzіI}?-!geu gR'CiG G!zKܱӒk(8|L~. >j}w*ȪRO!>KR!cӫ[,d6@C;kإv]ȁ׳,Ȍlw1〣Oz%'$QZVRLͰԥ@B!6gʔ0Z;X[?W,3X+;kv \JdO!53+}Uҗe .a ^ixHr ?eO͓np5r|v Q /?3>E:)7 VijpmYV/"Y+6xݸoAc%j+|z.g 'ԓUHE8"[z~DP1Q KrqTrO'?\'ަz hns=j=a';bݿBd^HWGH{IeG!j%tZ7mF(.`l9!^505F 2 ~om-DT3Pi2$t^R`5-y : nQy+JH?`/1A\`"JnxJS964~qv"& ٫mU(E{us7'5 z k/;Fnр#c .]mxV`^ Ӑ8^Ë2p к(.xs(4Ν| o"PaKEc ^E)g^.o/3cYn{gYZf82fab148a01cdb76abb12977d68d533e3efa0a3d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8552347310803099605dadb02749f6e002aaccc1