SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 i < S/ PropResPI:threads=2elapsed=16.225cpu=26.536gc=0.820factor=1.647zXZִF! #]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O3l2-ܐZ EoyǏWkhV3.i>07CK˖mٗ3C8wX,M b+^.); Sk֠3݃^LOE3۴⭪Zye5Q[a $SD`F҈n#Tj9.~v!b9hP>? cໄ%.hʺrp+.$ ҍ1HA Ÿ̴َkJXQ`zqLKYDB=.ϱgYZ7zXZִF! Y2]ŗXi%AbFU?b-}N}gߡ<@ԭA$l-;!}~j"g0l;}g K|W{H1MrTN\_J`K}"X#19? lÂ̦Gȣ<> |kg=kҹ"Z^ًK`z ДfxrTJKu[fԤvv{g G.٥TDaBY68DT^ BЬmTPB %@kfK:)JW}Xײ SBU;pUs5Sw4*fV+mfc 0gE(Vgr-lcF ˡY3&˜vp%TT%yˀ/WwY+CMŁ@r97\ʸJ=^u(S"Ib׆;gvp>9JgoZ8j kkR@4VL)(4۟gfQ;w3m s=/vmgѝ Vcf' m%2:N?h-HGK!ũbӊ" r1$x?/#𓥟| xsN _++yd ɳ>LY3g}}rD' IH狆Ow 9^s5[a֛6(73Lg20=TPECҟޔ=! alpzf|&|>bN.Z~!+B*5P$q#j|NݤNϗ7f(QT&v*'Ԁְ! Cx7+{U]ϵ{w4 WyE 49]<"F8v!?(g_7I(|oV7d`Y?W>013t:/:joV\lKOD0Km^(tBk1 ӵgYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa   PropResPI