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 h7 , L ]]Pre_Algebraic_Numbers:threads=2elapsed=13.808cpu=24.992gc=0.876factor=1.817zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4szR~|b> U͞:įn1`t1.~-E&,`ZA٩(+;^&@1_m~$"Ă2afѥShVAqǝ;訝$Rv Lb#KAgYZ7zXZִF! ]ŗXiɟ|E\ÂQn\F]㧨aWطe;-IS}GM^m~nBEb1{s43M3x1%g(`mC2W`ρ72J*,kfDṽ$0,~mEw/c֘2_Fn3zDdjQ(c9dQ%.jl[]b.^0͔@t87Qc([DO݅%])~+LpJnŊW}'|gmRy"]c!N)IEǝzA*ĩrH^(;$B\%|Y' `yh m Jk31HFH h/@@%]}++9hHvƤ {׃ZF cTh`rRpB!;Rַ%Fxy*ty8BYx}b`[ZqE9tpx|i3IЀm5^U[,?*as&ߚ,5 9׏/J<*0EvGE#xM؇M8ۑ6"/L[|Q4eo`i:lö3"M0~4i3*LˊƊ#j&T RJ,G-UXVP։N~jnnv&P6m}zKqK0W^tpt3>]12u@[}W,}zT$@pj@es(4ϑ~!J%2SPovW%wzJ7ǔ?X~,(@i+Ҁ&c0c9G M:Fev]$y$kӞ҆ h⌒@o"R:O 먞=%dHva $ /]Z0| m؂p04W:gf:ٷ֪a?F&X l? ^b.}gYZ6f2ed4903d33a943aeb591a2baa82b722c651b5b79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 c0d2212167485df5638311f4a52e87880eda6ca7 2ed94f38f6edbff858d02a41897f21dea6478977 da170be48fcb6d75689bdb460445aecd154adc68 10441a46497101d42b3e3120d3d9d7272e385861 94dc7f8731877703d2f3446bee597b4575172d24 2e6baf19e8a9f1dd06f3b135abdc83df35699a06 84d2be430b1a6420bc14971168484b946213aa96b595682306614bae21e72fd76f9b9daf5c2c2ba0 7 Pre_Algebraic_Numbers