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  T T)/ D4 wS Old_Datatype_Show:threads=2elapsed=10.785cpu=12.544gc=0.408factor=1.167zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$$@"U1_KP)D5W(ꏒ́zAF$p.6*i[d |#[} ݼA S -MսZ s+4?}a,J)]bu'|Ćߚ|ڤvcQcgYZ7zXZִF! 3QQ]ŗXi%6y4qF4b_5΢急*rAV%m`AJW&sx1,JSQ&ܢwӗ%L]Hu1->/Ž $eaRԃd F2$n@ȞlpxgdLڪzGԃz`|k:<gK4sw5cOALr;&H w)H}Zk"gcGAyWЖYymzW`Rԙ/(DUmi3)Pff̅7Y)ڔi=r%42ƯEaQg͡p^,B36pNv2q0*z_I[ph[r +@n0B϶sTBvEyNR%kV`ʛPaGt`.\-0ؠ#)P9V0R+1:<ܦ4[c6o)fHy@9L ̳ԐD8ƴXê_ˌaOWDN*ž bR Id@ϷඝA]c=QhPg q@S,Q4k 1.^@fBB}4܃hzƲDt`^S;XXW1ɬȣ u'b(짰e ;mjC>231#ΩλY DVC="Vjc8 ⰛSjuE% ,L ^H)Փ@RԽ-,W " ,F*7$ C# @ρ/S7?QQbrgyVpZA[C-4f&gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a bc3e827d687a0175993f83583e863c63620e2853 / Old_Datatype_Show