SQLite format 3@ .0:  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 11D5 d, ] HOL-Complex_Analysis:threads=6elapsed=34.662cpu=162.068gc=5.188factor=4.687zXZִF! c ]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6o)` f6[@U=tcȊzz+?` )U7(`dqH܈&t/Pna: "dQ~B"ql.(!З ~1Ci+D[>ܯ17R^R%AqΨYEf1aܓ:ӨuQP݄I 552-t/vv#҆:dT lwH;ܾ6予[#E͍9Mm?J OpRt3:)m`dSI&|O+y5K[8E/#e?bWAk8be](\ f/uÒ2RC4DŽ f#=d z7`|t $%,ɕ^|)q-吥$kĸ ),ӓ܃, ë?,lԍtgdMajC 5%tM:(dr2`Knۆ,Y+gD8S 3Y1U~i4D \E={7y8(1 FuW_H`'OZB ݫUd{nU% # V7E1Zs_H,A)cR /ۓg!+"_v;m Ѹ)f +>L"1)L蘢 UU6 bߛp+fgTcĹb;op2seIHHrrǷXJ3xh4xѴ4gH57ߝ=wgYZ7zXZִF! ˜ ]ŗXi%GM+]fI4c4aBL"lup0r|̨*|Z}wRC 9!ioX/r3pYm/@ϸ$9\nȡr-dh[1 _n p jKDcCY+f~5 tdY4u87/LؤBA*yC*/;Jܷ+&/V:e4Qbfq 6K^y WNXæ6, )tT* 0!s , E:|Ƴ6^y혩-e'e7,WaXC "f4_v}`q@Ӽns,}^*Z5sڂް?s6ޜ&*x!#U 0E<јaF\/8ׁIgQƬ!uye(#q52ȥ ?E Kt`&tӞ:TybGϸ$3~3x5>=0mVMqpo2,@LJ}W!X*#a,"GAsաn1ya+mD,O'lՎe7ig 1o/=;cM*Z ;jm4ŗ ɀC ~"=S)XYKO Ӷ r!O g&?uXbHqj5x)j EGo=Q4x0.c]CmF}G$]y~ XAAW1v"YZl3#?d^1٬S(\O'q{dק?1k˅}_S(d-M&Ĭo4Zz\/:KKa0-##QTlZUHAN=Xr .-/=-NA$ާzѬ]c`KW6ns3f\Ȃ9±k{q:HxN}i/1?W>7)؟:DL:(.?Z#8\> P'ϹL^j@ eBS"D˭'RX[zE՟%/W? BoqX^LV4i=Hp U_ZNT#*-:jԱ9VYDnvP-QX#«xWd>df%'^.W+FrzE[H'%08ZЀ)o&㩂eYcj:7 cl/PQ؜;wC8NhxMgDEMhd[yBCxl|v#WD>qU*$i^g#k\0T(YFWeʥ!;)ƫS"/BV֓ITħWv9=-+]'4(D(Iۛw a]ԣ(8Oӓ'vpJeBÞ%HAg!ZTAUqӥ>/1c1Vx6ξqq'I/'ؚ8[[5u3 ]`F8NlOLd7S{V85՚/Cqqe,!rZO*'(; AoJ.M}Jߓ 2?w[hB)~JuQӠS>2cj97>uD8v4s+|Wp@ Rph 1j[RnTRτm4SaB6BO/eov76Jb)ݏsЪ^\pSf_`'$Z!%y=}cՅ^ #,y%vZdwQ,F\mwki4?L(SNqC~ťJ;N>69xnjsc &jml@Oͭ^RtlҒ[>#V91=nX!%ӳLHM.PХm#H07i `Y;ku2DBb 6.$;ANJzU۾ ǖ!'y5C!S #fu. ~)&Oފˤ +8[V*`~y#>}j2HXʬғYe\KPʜ9>{#4rŽ!p7"ӄU5!ebHMRx y}1!$d4? M UD*ϚəcJ98X/JS 0L)p1I),n!ogYZf3460d6dc7e930cecff675429b572283b7e3d04d3ef6c9a0eb470e4693e1ab85852721e78e1c146a f550ffe99d9ea6d3907e695610a5094009d15b06 2293e1d514bbc4ed5bab5680fa07dccbd344b33b