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 #E  $ ]I]Pre_Polynomial_Factorization:threads=2elapsed=23.702cpu=45.564gc=2.192factor=1.927zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,8p]}[k{U@V鏦_QbrmbA$뽧WEAs _HLo;6EЇWiVDݞ#< T;dѯ[r Xp Ԇe֟ĖσG 8Pg4a+0#fۀ C"եMn|PwKܦz&Ѧ,7X,c$vZ%p<l~|v]j'-TE^%R< ޢPť _J)*T@ &֠fFoZqL `@З~g A]p]Gl3<%/ZZqƐJ9Rd ʹ=:m qSnd/CUmb`dnoDzs7 ˄{B@Z.z4jTj Yq7GImqVpMQWmyg-/&[#fvnn*i5}*.4_w ܂~8$dڭ;PmzR+˱Ʋ9\k!9 ` CCy%ΊS wG߳fБ+rF0R#YBc5#2.d5R!A=op1 03gYZ7zXZִF! ldL]ŗXi%9#ce/@2rk ʉxБ p>K!c7Iŀ~V}X@+0Ý6* [dJhkBwxɾc)'W/h?rņգy.1 ΰxz;ԇ $5SO™ jވql=Č,Pͦ9hqVE3f<>[El"}o{YI VA@#trRwqeVܽ߮6:0dE+Ap(hųIx% 3&o]JQ fnHȑa@褳B X"aSV t #́jddf>c#B-AnKQ{9MѫU0x8dK|̬uy^"ɏ KS>.Hu?+<XR%QlM"zx .#+mY"{Z4GhM"Ҩ :%@X<$gžv [2&ACG˒48]wIM[Zwn#V|Q`BXGc_?=z Фb_Dv>@ʵuQ)6 Dִ(P E)4dLV$ ױ+HǛo,ոR?,d3s5@V xƾ$|+|r;wͨ1IV:NCvH')`+O_+gQ%Emsm"; A7uz7cwX5ӊTϞD`[Q^C䆯R,ɦ?&[ ??q0<} TqR