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 47 t  ]]Pre_Algebraic_Numbers:threads=2elapsed=13.607cpu=24.272gc=0.636factor=1.787zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4s|auΟ^Ր0p!OCx;vHK~/8#'L kGݲ)ɒFYt&[eR*w{6һ^.x"*st6pm E_=#ˬ N!-3e5H3я8~PtZQFUfVqǿ9N6wYCM1'~LEꀅq 1gC yr.uWpT!QoWI[Bk(Ty!WfVCX*7W3ܗD ij{0V7߲us,xN.ui C#Ta;|QKeY0 Μ|WD'HkecCL Vۗ`թf'1ukES PZƑgYZ7zXZִF! ]ŗXiɟ|E\ÂQn\F]㧨aWطe;.r2@-煈ܽl+Pd[D =:pq߾VQ`|{-Ѫ 7 *rZFSoo!0aF[;QV48P:_Ws6 vyAΠ$qo!糱gYZ7zXZִF! ?jF]ŗXi%qʻXpU[}6РXbR;O+Z01u}8~U"/[:l]ʓUC s f;"ۜ:lc>* %g \k}Z8^}c`N_)f@YcB3l"ۜW{7=f7BkQ:V`W}j9ԕ& aA<ЬX/yZģŠx~8 vWN2g1NZJp/`}{Winda: ~ItH־Y9pyFA0X6q|Hn +E08B]M_kl'"9RE5"Tz,hFb1.d2yaKȊ TE_K5wBKqTǂZb6FqZFVߏ6UtŽUOxjci+넣%-bsj"$+I-p 7P(5˼fu&2nz?A&I+*?D2GH׽8& K ]F|g'1_L_!@uh>YYOKmcj 3rRg ߘ:qTՆ{2HӋb;` kNDB 9p,1f;`ecƄrNBpE/$$bD,Q,=ozX}X_@>yC/{ʽz.TtH lL;7MC>4#K]#H\$b@0~dB(S:cviukAQˆ׍!* ;iRܵzBA]HN{fr*36