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 }/ d| ]/ Dict_Construction:threads=2elapsed=42.387cpu=57.420gc=3.860factor=1.357zXZִF! j]ŗXf1-/6vRZ]tE /U 7\Q=©DSn_MqAUDw_mbMY-ҷr=>u:uLG6j|@mpwֱĮTZ!}2ޞw.G d@I4a(Im^Z9{^"j4Mwy?B2}B›b4*\᳀ FP TED|輳ti%~`4}*fz=eTE0M/t7qЏ%hea=aG+#I1STȰnΒjx?uHr;fɜ`0c16-@UmZVԳz3@tEg荒[bɋz/ќ-Ru8=t@;ݖڸ'mBCvG J^},;5 nN׏8]&_~FG(&E-:?ioq_xit+;C.9M׷w# -c[פ̟z ILf}(- #DB}%. $#\5܌F tx~5}o"BEEB|`sx%dv{c*gsàN7"J9/廤:"HTTHFxF@oܩQsa>V)զ],=&|띜isiqu1G #/>V0;({Rpe鷣Wo97mpbT%爨 wo؀~2iw!Qx8c[`an.qvy)RG~W? lkGu%nl߄~W_y3+:o> 43}4;w{%{xRH甲R2cV:sZ|**ںQnx]ʡm|*Bo]nUn_Zg!A'ddLT<6)n({&}B*v%{8䮦/K5OU3ղ39*C#)O̙s5aΓxN3~͚8:^ "B"l z3Ä\]z:ZD`'G[kRPq{ -1Sx]A 4SK Bڑ9NhY}ֿ*Q-2s:H OxQJr0X#ګo+;2$x#ũ LMvA}&WgQJ)(acg 0~6m,(0]W7֍G(,1# Fr| F ՑdOPH0tbI21 "OQ ަ^a0GDC/(Z \{0!&?paH{\VPA/×y'42P/*v\~ k%yeV^cç4&Pr#aCh~VWeh-LCzqOsy:q:|FKm2E LiJS?L<%BG,{A`kp^;Ia}]ž$kȁ`8Z|`/F0)jv^N6Q5z$HW3qb7B\gU@$?3QdMɍE@=s97Y7f OVgYZc3128b268cbcae5129b44b93b028865ecdd4090272476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 / Dict_Construction