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   q  / Menger:threads=2elapsed=11.242cpu=20.068gc=0.572factor=1.797zXZִF! ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC><4=/e~~; HGN/2%='R{ p-zt®KfF!AL; gy D)PMV}c58 54 *2P{z;Gk f 8/aGlpTޒvm} =ڣi{I#pdKйX_mi]"p7X}vWFGg.~FrDˢ=c}>% nϭyGuTC#Q: )k%Nif1Z^{WhhɔۙG)CvL=_`$1ӱgYZ7zXZִF! A]ŗXi%6퇮57M=,ZTuITdml-Fr|:Bz%5+hA3mis Kur|&25!x^ΌQX;_/_~YٙF%`rcgwOc} ~ -jA6saItxۗ҉(Ϣ6Ffbse傞]B/ 5xvL9 Sߔ-WDpRb?_A)\̣'d fho_1TA+*f~EZp`fv+b_J+? ps[ܨ9i4\qswQ;2 |~?Gg{w-@j\hX]W9pe 8 D4=(}`()M}w]?nF֮tQ@O3QDiUkyE+u1 I}x3lvKWO>؎sC3"85^v !Xװ.h]6ȍƛez>TDU WwE*-ܧC$PN";/ ѭGT1b(@]ݹ[CTks)kpF~rUJ_m=tǖ^^z۔Vw|=@d=3JMISpR#+t%|}0/gпNf~鋁{.@8:9W.cEK lZL?T=hG"q3CR3Dz7U)Up y2Sgjx<{yT5_n8dЊmyMW$nggcw?J{q ن(ԣĹg_{OiqZ, '8i *@5 4(RCrWTO"FRS_Pӆ}1bI˕i5]u D)l%-ԿNniGnƌp +qgYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9de4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3   Menger