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   Y= $4 ! Polynomial_Factorization:threads=2elapsed=45.882cpu=70.332gc=1.956factor=1.537zXZִF! $]ŗXf1-/6vR[2ө=%Bl=E^X:nC;^J{H:+4Ńǰ|sHVn)䖉)by{ߏ,%OfSY{InyԿ؃ FsBh:Y|R{sxgbGLsd#=]۵V*?7r}˴pLLIX.apJ#I7(?%@9_t .%@tf,E1 LJ+C[/KC;g>"nv3wP盎%F շ쐷ՖgE;iaRv@##r9#`/u⧔BazaCo/YtȖi^5}fn)j˪ ?:$ex[4o;d1wH(蘧闧NT>gQ]Q}AE5ߐ~ -p9]|wVʐģ2Y$m̼HϷ!0EB$+ER(AQzm WE8(kL5nEhmܙD'g#9fa*4+QMNǾOf.L4>3o4&9s9!M 8Fiq+yDy-ꋍC+s怮QjD4p ^" ]c;RlH|p,9n"LAfuhؓs:70S:2å$|*]ױ8̂X1tCՄ4h/p ٘!=a߄1_lt-PNxZ3D8M@yii׭2,pgEyshy{e) oM;i4mTEjɨd @)*?ݺ~} (y(Q* ^]xRׁjThFչjN:c?pY ,7NN|ĺg~6E@u̅<}#3Aj`A$m4c/ZN:`u ?Gw^@*UPyٙ8`a3+o|fTYEݐ3oMQP+}BA\a=5}lU+<8 tAɥ±exV˃󸚘jW>n rqs[mjoU s_Ny^i=_gK8~f'd`Z'˻n$-¿ ѼU =3xܫ7Gq,"pRO/p| ff@ϞAGxdVA_Aer!Zh?S$^>.qN[9ӏ90Z7# 0p3~12%H& D([K< D4"`Zp憌|N4.{g5_-jie݇D6~*ߒ>-Ҭ&R&N]Bb1W#\`V ٶ]FL+_6 [1f[t ՓKpեt$fmw)T6Œ1\ L.uȓϳTg>%(׹랦]Dt4%qͅIBؤK.>9 =(}⸀C?x j,؂i_a/pOzr.'?L!x>cs@{)-tjN㵸.r{._LeaRM˵r| W$('CxS7ALЪX!̴f p֐Ln,.2P]+6WC$݁+ھ신Ce QWG]"Lh}Y2 VK=鳁=/O@D[~h肼f0Y٘2]E߫ 3X1i$_t[$DLͬSӜ0wӼřIC1)Kώ/0T6_(eB◸F i klYE V5*O(y7K }<u/$'P|HxZRB4βH vu5b>Lu-'dN:- qo f,/&| aP@xJ!'xLאCr-8S癑/ :NԼDu:'*^t;Awăso1#Fi쏈=BQMdtp 3}!qWbB{QF-wu< [rĐ i3GE'7?6iPrEUb{{ V o燋 gnsm>WWQ+{!B [|.pBk@>{6Y z@w=p`d~o=.L?m ;]Tչ\jכV