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 $$Y/ td wS Old_Datatype_Show:threads=2elapsed=10.996cpu=12.644gc=0.432factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$=fJ`ЯD-g58x5Y-1`3%@(G$جEӆjc׶4XvsSI VjP{R2AqwooVKx#7φt; I|tilt{<9{eb4֚XԜ/]$~pxwTJ镏7s({z_!]mm/ |"u(bNUgXPX.`~y¤ݧOLg6tu]ӏ ̳jh@c ۈAkAީ0G*0|5yViVuڴamCFHn?1|drmn'b&gYZ7zXZִF! 5k]ŗXi%rÎı-Tv2~Zz]GF E `\`zUL7`&3ҦEv2C-tkސ}f7TNNu1[)ȓ$Ļtن"8dž;Ccj-2WCt@F[xJ'渦y\RJ|'C`n{YdXe\IMiq&/Gժ:ʜ%< 3dVrPzq+3b:E`2|^o3تT" ]/21|d77LVḦh`o^RŖh_9L W8 j#_z)tMReIVmyD`zeQص}-z zvʼn' p';?NL]/v*,vv Pk\*TDripa5HsJo.h—shL4z:RLA\\_VD0Trh@Tj & cY(Ot)/Wh9[@MBX;%x@ڟUIcQ헖}ܼT =Lq'NZu, "2~0!g6g_fb:cэ 2Q !N%Z ;"+E(!GTT?3^uXZ ] SxTnx 8^.;8]lMڏM2,@_1؅ 7ԟ_>Yc%,_ߎ Q  8*t6 (Nzd<kqgYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6dc7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb f013446ba76027b3286f5b8e02f8911162859882 bb392260af52aad4d1995b7eececdaed35656acc / Old_Datatype_Show