SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7 t l ]]Pre_Algebraic_Numbers:threads=2elapsed=13.411cpu=24.224gc=0.608factor=1.817zXZִF! Y]ŗXf1-/6vRZ*_u#K{Tujab"pm͑>O3[x 4ٔMn@mo 8ה8hrD߉mUDҪ]j_{$KqI,b`K|~aΗPifk 3DF@ Slr6aw\??l]c";;ehDt{pH I_gj.tkJ.nFZ(+sN X&!믕ݗ@OqB ˗gYZ7zXZִF! ]ŗXiɟ|E\ÂQn\Fcނ\gl}2tQ[} 6?c S"THh%juHPVGCљbQSjc4%;DbfyB aݎ3A#&_кw.*_g}\>j] tOȽ}k ǥ+Q-iQ}⮱gYZ7zXZִF! ?b.]ŗXi%9*] M&0|J.pi P6v壳`HU䣩RYk̜1 ӄ?`/NkU sjhV9LEr/Kf Q)RJD^df1 iyi#c{)4O{(6toNr:F}*[\RfApYk'Y١wxOb5FpgX/U~1&R[&KIԫ@iz+}0S)ѤFj6Q{h_lQa׉U̢^/~TeGZI;4]E*H+zP~ (9trO(g8fѵX<=uP/4x×wHғs2LvkʶIN .Rǭ@(;~Ͼ.r|oe7ibC[0L ܤ͆ɯD3ŷ*altWA6;1-)_=M,u*g.$&tNe ى}I 3jmS?C^W\ro cAu~%y)'VKJkrPDKj_UoJQd8 ? Ak_>q9K-IFOCx@P"Ax9H`Ϲ(׾Kxq6tݝ,7<46v+9h7Fhm.)WN r),whlʴ. ]!A=-*J|&U|v S`H9Τcxf Nw"n9iVbJuLOl&`]V1/M&È7vfeĜruG&RpV6sM!an{lf4{Wl,'bTbNa͐j;O~B ٱgYZ22ad7f26b026340972553bbce5a7056b90b9fb80325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad 3ad98e288c887026892f67ee06aa8e9eaeca2255 cbcf1266d9f2c2c699ae8ec5a5fde1094fb13c0a de5101213deb9db44c8c6f460e5f89ac0403390c 6618f1bd7ba1f441eab4836d06a439ac1a352042 153e0e0fb9f7bce734d3aef7f405837843deb72d da96bbaac786dcc9cf8ad7866924b3ec0eb56b57 5b57aded309b2933c2f3a0b4798f103c1580a0e9 cb979a68841518885e6faeb5cf0bd48d2e21c02b7688564a63e12d1c24528243fa9b9f0f4b22d9ea 7 Pre_Algebraic_Numbers