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 1 l %S Abstract_Soundness:threads=2elapsed=13.675cpu=24.936gc=1.240factor=1.827zXZִF! B]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$mt99v9iZ18) "O(ځْҩpQU, .AU< ͊i;}msb,8ErläAS?Zywן gYq!Tmv_"FpY> =I?( hD*έk6mxW[}s>y?k LV;=bUr&$Zμ^zCqDC_u#>˄TgYZ7zXZִF! Hm]ŗXi%6xqbU2flVDPfXI1Mߨ]KӅC 7!PGYx->#)dEntoWAvhn84EyD +)@C[0ơ#_fJ34T%`ɀ j[J^bԆ  EzzIuJiw_*[y,ë<;S+ʡ)4p(͵#p1P=>`A7Fe!EőSΘXl,2v*fAGsյXaFCZף\0Ǯ`۞ޯK)fC<&D _Lg\QڳW)Ū_VVpԇGEt\4G6y> kb SIFB r>JG+4:v<e9rԝ8'!o V,GdCZzޥ:7 8X^,e5>:8dQE$LWS&ΛTvHv~7;M M I`wkY_+TqG"i' =Q!\.I9j@U\!9V+weE{sۚg;]J1Xm@ѪU5Lj7ߧ2ӌpVht7N@o„žBGxmr=yK*CD {-fc{Z6KN&lj R-V]SO4TGh,F&,-ioԅ(!Qp\@(T'\d+ϼꅁ%A-pb$f)nK]N $i&b[l S;Eeؼ OPw+|<6"tvU u Qc#+<1E#~y NvckI9a?)P&$U}ui^Zr>I&_^Hi{/7pGjPH 4T^>4oCFFǟ:nEyq%+#hȺTIbU &.,z !gYZ60a4b5c33b59914587cd86950156e1f4dda048de c26292328c60c4cd15ecd89b049981321e8ef8b5 d9e310d5411251e4ff41599a279517c493b62d97 db70e211d5377e36edb84abadb614a97e127648f e7fb4bd8c7f54232acd6d87a0ca7225756ef7058554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa d3b4aa8eda5999bc2ec7b311136b37de4d98164d 1 Abstract_Soundness