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  P P-% <| ]/ HOL-NanoJava:threads=2elapsed=6.472cpu=11.124gc=0.696factor=1.727zXZִF! =]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sW@pb\J'ym(RI'v!f42㜆F!EI0ͮ ;`"*-;br!i/[5I tm$zqXu ~5Scu0kb g_TM(J jIgYS:/;fw#&Pe;V}0/ecBhkD-d&YL[Vc\Қ!f7ekc 9gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EZ_o@{i$D/ib_Z\_ϏH=0 -";顸ޫ*̙մQ+AoDn ]@E.&jxw 6'ylIJie678=cծgYZ7zXZִF! -{G]ŗXi%>gՉ&prj ς`cZӁ47Di("Bf$2p+̤n0| {_|!L:|cKd:ҤфcTWwt ėY*g8 &էX{+V=Q"9}$ӝ & o$rU[lܲ'@.*\p `Ǭ y3^Qry3IvE)2[o~_P7P"Y[{4zd^gO:K=Uص7>`wÇQbfNK^Q'3ĈNxFξ2 vu oM"݈;>7P6C șms\l< l"wC`|fB~n^8mv=9 oQQږ)7A*75FU#Qny*yHӲ: +wKO kÍkQY@_*b1 #=Hw(rwy1-5Ȱ ]jޒjUոY lI0DZIiN?yK儐:tq&tE5&dy͝$h, ox mR9:w ΡuV ogPLЍ.Múc`𮴊:O0n`3scNdflv8%x; +ⷨg^bJ-RqrUuL 2s@}d;X jZ|;%w(cGa ֜s:~ tL*U:[!Z(J^qgYZ73f94c29fb8805fa20b44e392f190bd3ad25154982ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 % HOL-NanoJava