SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
E T< ]I]Pre_Polynomial_Factorization:threads=2elapsed=29.705cpu=57.428gc=2.460factor=1.937zXZ ִF ! Kc] ŗXf1-/6vR[2ө=%C0A9RJ33bZ݉hBi1 ;C ^5QϨ$LLh(H>KgawBOnBԏڃ_6y6H2` 6*XQKe
u V5[JF(ERg9 5UozwFB +
;7f?Abp` b0A~̏#,BGNu*6bFaw1NgpY #ң I
6-s:e cr<2ۜZ-G!
o|
JQRA.-.Jp<fRC џ&(*\kJTѲg;.x>R4+
9_IأN3cW
e.O3"l)j& >֒~ 2T*R4#8 *TU$j˓~H 6+t܋mlڬjo8A 7$h{ dej3YLKh M{et4pDn8u4 Ơ;B梫$[@b srDY
XS
"鐪u??7 V2'B>Q[TqbaƵS=g\ S.W1 J-΄M] Λgn 6 -Bg YZ7zXZ ִF ! V] ŗXi%60 yeӬ6*5!REտ %|uGuwcz ֨ .6'9E7<}P¹QRcpSHKI`]b;4 j~y4%Gh\Ʊt7 3 GvWi^mmL9;kP g 2cy G!VxԺ WAAg?=Q
HG:ׄ@yE Nd3Е ]X!# #Fn6 Pµ$ AkM+z4,Zox {oR.6Lha:)yy"ZfJ(غMܓwO(OQK헱.F-8:D?f9P9ͯx+~ʲ#3_tТ_ xN
1@X+^wfBa6e U*+*~÷ ҴyzgB eR'& Z[.Z~*`fޱ!+RI&GKk mFY聃
g>Y
EbxnFUs x3>附5I}@0^yNk8l#s 9a!zy% \1|9 AUXjv Yv@ P#Gߴ8 Eڎ"_-(y`ےmv7> , 1H(_. &+5ZD\lֹ)Ms1V=%g F
_ ca(xiTծY, eS(!=[Z+˗`< ZWPat8@|i>]IKP_!B͏]}:d7OCa8:gHAH-Oti5m
>."4SKL)>G"N %txvas6"g2(*㜉 )ZxIO?OPyc?8iZqrswȊю ƞAJ!6SbܓD8#јaQZ:0}W!ޟfEU?bv~uv8kXo5<! *A
@V>)H7 EE~)P}ssbӴDkDbQuRpRQD=G{, _g
0)ik
`KqW[[k(@5~ڴf`t,/w/-N*2J!YYO!|ؑtբՇ&*KI=R+;%O؋{IGkРTچ ~Aqn vw7X*?_Gid@e3@ e[C`,G:e
1 ƺ'HDvX)NG" !9JzS&(!t*/cxʶ m[NH =ϩ`#{Zԫ?rE&E\H U ܌ȷ}, 5 v5tB- U{Kk({᯽=1ʢ#hTHP뭙: 3U(ZO-W2]m^ }f# WoVz]۰_EbƦioQ0C@8kZ i~8YzY4$ 5lߚ+8jEӻn*19"a:]_
=