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 __3 \L S/ Impossible_Geometry:threads=2elapsed=9.334cpu=16.400gc=0.448factor=1.767zXZִF! O(]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ;w[tArdN@ώckNZGq#[e )U庍^Onk/*ZKA!`E謹>!6>Cd m$[O-0FRj, v}Z#./ P5mumO|:Yhj ?h\l+ Sʬ?nco͆@g[6bntDͨO1^BĬ%Wncxd,;mܐ)䏂[N_+qljUno' yNN96)kB)LlILBPظXy>~|4zN58dgf X'}7m)yT~[WNsm ~~f.HU3>vo0ܼ!.5͏ĖmCW?4 K#Ȥ_V7{X]ycIBK#7d(B~وOQ &iS}{tBߗjL5 +K@džR9TmA5dfI} JKkŕ6 :5(c 2nMӐ =[ȚJ!^L(|`x6rx+ R[B/M\r-Ҕ8* SX#_O'qʑZ*[/~HAI-@ \Fc帒m!^+森kK"]w5bUa[_w! `k? 0s֧q|7A#2 ?,ɅOW+Rcp!qZ\/[^Fs#C/S[ntF0G>(ngAOv\Gm8@hfA`?,ikAMds.@з ͟hhgYZ7zXZִF! 5]ŗXi%rÒΑZœ[➎͑ $xpv)ZP\5 /T:4-YP3L|_Q^;tӵz˪.0,j~GlXxZӲz:;M4uיlPt'@2NT* '`d蕋vQ?j 6dOz{¦"q+xbaﲿc߈<#\K6ueI&rs$s&Ljhbe ,ҺgJcF~Alza#d 3Ftƽ~2aS/:t_ϩZ ǣX®9 2L,HN~ F^cy+obuuۀFF}l쭲ol#X7?AZ?zi-.O4Pu}?)@,}b0"ԃ~AG/+Jkv(Q.WE5wG'I'w_J3@ oOm>B^Ząw@2c% 2RA0?O dt_/2(T%I_[U~$"/ՓG~/):QHh"Ӿ[]f煷ތwQ}ZU69䌵cu5ml[[juqr rw 2nޭo扫N2|C<>-L?K:oٟR1E[="z 6Rќi<[`a| t/|:3ט=;-P DAtә/Ŷ4Y $2떭"9 +&kٍS.nE CKCv%_9#jSJg׻2e)\kQ s4:vw"\!FsHl&ٝBI)9 %_j.|kđgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0ec7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb 3 Impossible_Geometry