SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info N N /,D$ ]/]HOLCF:threads=6elapsed=15.065cpu=41.732gc=2.380factor=2.777zXZ ִF ! ` ] ŗXf1-q恈͐7ӺVw;GOy:Cir8% NVKh^̐n>VB(\- QNhQgg:T799#!jA`&RԁzQT%nп |0yPWRBJTQ*y1ir;X|_|mуgŠonD BXyZ Fru-:zt,ڶ;@(Lu%[\XI%c$ +*,e{۳ٙn{ YSZubɛ\t5g6xɏ.YZ,T\Qrnۍ7X@wn*!fx?tEehyA lnkѽِ=>n7!aaΒP@F aARKUTwL]ApV^jYNC/>柤T2E3b/nS &8h-ĿRoc\o12Vsk0>hFOx!T6#o/Q3P-1Y?'3[ ~)X@ x ! = ݅)J#V+J9 @6܌$ǖeIlDrF)vC;d=;BF,/ć Hݤ`2P{IpC 3k<(3`7ْ^]zLKJ-Fy1,nώӣsKZOhEJJ5D8:c_ h-O ( ^P*g YZ7zXZ ִF ! [] ŗXiɟ>Ӈɇ9S2]͖NC3V7Y[BD 5ul LV'39ޙ 9yٔ 7yn xmNQ|ʵg{n[:,ĈOߛ}7Z%OӋtM8(.Y,K,bJtHl:p(1ح?GBU\{#F̬R$$XMڅ{kq=r>Ǩ9zr' 8HfI4=QԡP;kb,B=b~w˘SFiGs]}iQ2f ]QJ!6\6Q,?)
͓Rܳ f#o%o_M7,)>XmvwjZ$me`y z&