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  u u+ l ]/ Verified-Prover:threads=2elapsed=9.153cpu=12.096gc=0.396factor=1.327zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\ONH3*n1)+r>Bx:? &3,Z\u}l An;%͗x漋H?j7Kq`y+=H@-O -3t27PnV0UKˮ^Ӡ.t(46y L( '"7 WgYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPAZ%7g}s))q꫗0!a.FcKWX}YZ7zXZִF! < ]ŗXi%>g߇Cp Zw[JOʊ=)4-Oj5wӇ,! BT gI_}$v#W`Ƙ/~_@Qùn"ei#)7׊ ; {B: Y#WR=kBg[Pe믈Sܜ4UO`ڵRa`-mĭٜM.JR[yE ׶U#h Uͯ^ 0xQ[ؗҬZIHl)p8$)2;yD*u_Ŵ58[9lW|dn>LqI,^|@9OQMg5qq.֍@ul(q*T9 JQ=5,ipy=pY(J"Y2ѩxIj˲SR)BX{펝}ΕDIޕqz90Uv%OofHtٲT:TyL>8\%gr+*rҬzJW:؄|*Mc58 ްmۃ/r=hᡌnA=k[d/4}SXUu Kl-FY톃Et*ul_,8XHA} ]Lga{`E<㾩^$R+X]Vv%2Gg L(=Y/HKƍB*}gsx[ւkf't\gPN5k.*a$,5,H&9 5ZMe_ofmAP< whHH4W( GV*-F\b5 ´}28CD6]mߞ zl(U7 )apHPL<. /s8*I`s9+xOgYZ75b9d1f229c53f67ffedef73ec186a768290efc9665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 + Verified-Prover