SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 sE T OI]Pre_Polynomial_Factorization:threads=2elapsed=29.275cpu=60.168gc=2.544factor=2.067zXZִF! {]ŗXf1-/6vR[2ө=%C0A9RJ33bZ݉hBi1 ;C ^5QϨ$LLh(H>"wMkMv@cճĔͶjZ RQӴzsDt,9j{0aG0>@q;-Y y5stيy{lcO p`rQx IxUSyq=^2?-JݝboE똆gTZZ52 )|MQ1.C,A~Ms2jr/rR.f yNqP\EV,D΅6//2`fܒЁM;XK=*ș3d~}$==31**$0%;*>ݖs !wj4D Oi?>M^2s#`Ià+GA]dx )DOZ"R5-4f}H5n>-.?@ޫDc L!'{9;5lH/qJg6IZ:q̬KȫkLWksBXa+( Е㋠}u0U5 O3oF-^ٮvwޙ^:|L/{DJncD;v"1ֵX ils_^m6|n̜xO.ՙÓ52(9to4gYZ7zXZִF! Jd]ŗXi% 吀Ɔ-q, v;KYeb@#ue2+Qjj[F۽Ss4杼JQ_=li-ʿJҴ :qkvL,C3hህa^tero.8{sTC@x|5q;?P"Z}qw;̣~ú7+˟Ր&!Ag [ {foBl~$k >;ޒx(. ,eYa}~Ѕ*MZG62/ Wx-Sz_ ,+w aQcX/.%Jlwi [BkAq8.!dazbLX!}+r8a:J2`_ K,W`h7,tp?T`t&&\h3b gCUoL6}a<8R1TLPtpCuj4yl,+>\3mR۶4E (UrGNܩs{ Q]&Ekڜ˅t}7Z(Ѽy [$ Ƿ`$_`!`.%CR}+9>>xCw杊O!xGJ]q$ÝI?1uO YqY>8sH_WA& \J4n8-BaaJ,|3U*j䟷H6j鴁CƄp􂹼lea~r-v'?ܔ:y-8Ic!;8Wb y}€bOak []7,!=.YjVo_!=:H><J)瓵L22$MHݩ:EH:- Npsv]+>R[l"K>Er{N)3Y2-#&M.G 5C#HԃsA+gT:Qtmnsus +е1P_2t$1GR1C| $MEc`»27|R; %^bM g ! C2) ]AR_2Kz*;R%;#("8-R;Yz^"8*0~jaXvHKK}%}HДkƕ0ㆅji9vjSl/>w2!ZaWg`.G< 4RY7aGvQ t44}7s`0* 3D9\ ca! kpz VCە3y;+lU\;HQ7eE,3HHf6 (< UwyelSMA@ i%kI>O!6UQ+=vցhҐMMp]NUGuVlr&dPiުԠc`t{ m 2o^LwOFjr "RP0ABPܪ#B1 YeDXDw$j ËFF?ϸY`q^da"+ڰ%OY9~Fw?Uz%{)b;Ao]v