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 v |T w% Fermat3_4:threads=2elapsed=27.143cpu=48.768gc=0.772factor=1.807zXZִF! !]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#)/v͵=+-VڧjZpO--h/t5nן"5u䩹C}7rXCh]3ǔtdfJVN#)I81ßwe'nݏMhvɦc BğP1;/)>e Ooصc;$59+xU'`q8ݽUӒob)h9Rii,ixjAc'(ZEk}.9]g@EKp8@3/lj"8i/|v/ T._;9Z2 AH셛6NyvvmWH$ PׇUĞK膟,!M?G'#&s˳QI+~Np8{nfܯࣀ)~eಛpnϽ&ԯzhhj b˿<͇NB@ğ5""=Ȼ]F^P%%'U,W䞠{y'qѥP3[r&9{Bo&iVL -IO *QvRz,q"%EX@pf(hWKpL1,`>ES_(zjvѭ*`u7lHXS[G e`ZEu(A&0]R.0BA+gYZ7zXZִF! *b]ŗXi%6KnfC/R:n9+@̭` G>Z7C4$'uɩgP*FNutI[rSHOׄ<OCkly{bdA蠌Q׳5s,0&h iGsݜ T`')Ӷ!Md4m0h\D7Qg =,|X|y!'r9Q=:ⴡKDc3xx6i18hgp7?(JWQq2^2٥^wmؾY|Uڶo\޲p`^E0qmk D&)2Z3(5L2+Yo *y1E Ԑ>ڄrڻā~5u 4*ѓδ #hj8xֲ',}Oڧٓm\~4FuvVpV,OOy iK'_!nN82u"ૻѰ*vɅ <(;pKc"E.?y"g]}Ֆ5P{aA6p6 f' vgig7yN+<)TLqxt# =ɸO/幄.ے!=%TgϹϋݭ:gHۏRtzcnR46 9GB;7 Bp߂ݠ agM)TeS"hlNe!h _!i.?L[ ݆Z1!GT%>jlVF%W>3FSY^Ep lx?]7xanOij]A| wܼ-F(d@ܙ M#(~E)F A`\w~̬z4^OqwCz/!996!' t|L'%0ߘ'rTj#(PaqScmĥp:ܞjmq!'Ptt$9܃~;{X+8:hk4Tlk' 44 q!j+\SbLG"h.خ\ꂷrPb~/s@Bs=#V40o ] 1"H__DiKzp|ثI%*o >8s ,,MWᤍo~D6 3`ܔ9,blc17E8%JjtUVbo"dg4GY;VJCL(7y"p߁>J^ek 9-4"sEݫ @uR8Ў9~73q۸ƒyQ!!VGcHR4 {0VlrMTɨ{7Td 9AUՏd2X(ҡ$ _oys,@K!nymG3#Wx6 f+ۛve[WolmZ PNjM }jDŌ*y@÷%| v]ZAC$ru#xN6$7u% gYZ12bfa3196dfd9d703f0bd361f9dc21eb03be9732 a3a11ca13f14838e8012c043abfbae5a87d08069 ad01236f2c6f3db91450003ad775f4d5c213f9f1 afdccdd570ab6daab53e128c44e1c86705d53719 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a2238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 c0c6730a48e98d88b0f8d07816b1c9112b5fd1b5   Fermat3_4