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 P7 t T ]]Pre_Algebraic_Numbers:threads=2elapsed=13.695cpu=23.164gc=0.572factor=1.697zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4r%#.\dZkl=## 8*V^*d,3ki#<|}F)`iЎ`ZqO~/s}0̧` E} ݐ糱gYZ7zXZִF! Ac]ŗXi%920x9j}<\1޿Ep\Q%6+/ N*TU=(s<׋G)s6i^IP Y`E\xPU\[_ ,Ico1+ ;xՃ.b5rڦ~te%^:בxaMK؇{*z e7fx<`-J<ǎ,#Rgc)t >r;Y'.0d v]c5 PMWYAkq4+MKީtԶ&}@`XZ$Sc]< 'C~Nr7֕^Cv2:sĹawʢ\'*>CiErx_jp$|2S$<$}aBJ%6!Srк2]x 6=/I;AyaRYBKy{d] zs_SNv5Dޢ P*nf_/E1 jEt0+{ b~1kV/qߥ0ϼ39I'񚜩3͚fyA^*@Bp2uHk9l@ !M QgXE# ,6(-VN$P%AjXI}b+Y(*S,oig_dyl/Yg[+?؊ɍWq7rVIpQ-'3J!otIq&hi$F.Z$'ȅMx&HnQ<}*Mr&k+b_H77t!3(4 qf,R Fn GlwgYZcbfefefa8656542d7a3326660df9f78107aa7ea4fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 44b0cfc5db7f19bdb69739da20a64401a5e77014 8491750690a8d11e9e3b02951edf53ea46b1b345 da130666eeb4c61a1fa18c0c29d6d9f0db422dbd 05552397f6c71f11300ce8aeee1603ba21330985 53a6f4b588135593d98b5310d1121f60da5a7082 31a8140433866b31cfc24cdee3c3e55c9870b9e1 2bcffbcbdd7e68e777d1eb18424a9f20f046165271decd6f3db4f4c89bcc8a8b701665d19009c50b 7 Pre_Algebraic_Numbers