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 l7 d  ]]Pre_Algebraic_Numbers:threads=2elapsed=12.876cpu=23.512gc=0.740factor=1.837zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4sy<;p1_.zZʄ]; 80oy3I.j򉁺ݶr΋T]Oă1ȋA _GoชCY0Ąp/XkS +̯oa($|I\af.O {>{ON3zqRjX0BǮ7'Y5={iȬelȄDљ,ffR99@WizWy ]NVqh!SފKgYZ7zXZִF! ]ŗXiɟ|E\ÂQn\F]㧨aWطe;-{5$?DFQC bPOѓm{2w@ʧaOW-2n{`ɡ}zfN4{Q]8l˴LZg !%Uj4ͨ#ܽ(`0Xs{)8{ [5 +JTnO Sv{_H%Y|ӯ-c $wkbH;]%(ɝd㲻w0(I$}XsߥMHpN:~R<Eyxۤk\:zڌ[&A N! ޚF1iQV)d$v0dz88c D_Tb͸ya0́wlH(z$BNZ6ү6v_6R5V@5루 W;ͻ>"݆GJ(esӰJ!9dV. 4os*Dup>^~@LHa\4H0np0Xp