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 E  OI]Pre_Polynomial_Factorization:threads=2elapsed=26.826cpu=55.100gc=2.200factor=2.057zXZִF! h]ŗXf1-/6vR[2ө=%C0A9RJ341M [판;~u/ , =Cf\2I/KC,V\VɭZ tAV@e*Q 6Au FlGJCkiAV-Nݏ}\ʠH5F4{w9#|bznYB )v!5H|,V0'^N(n8σ;"G4 |nC! &P d綫GSرFNX߉M{0o:v{Ml-s霟p֠.@ =B[&VAGB!82=!>ݪr(UW}L Fm4]e|؁5LLc9*E:Z%~ߎt#]k{L3dmgP jhHvB/YV?t8bopmT×e%C^q;5X. 4qcjC? P>%a;bF%~xa/?Wn옕GKh1?t-0KSNNȝëz %C sI>uR D[ԯ"fFoom=EmB\2Z.=on,M|ڂBH+ܳW^DN;c! NJ$/OeH⒄PG7baזLE4ۦbSOmsUݻj6\|M0d҇,AO6 ݧU" Ӫ D[Q[YzA$BM>H z;dECkyJueQ< #iU<47qTx8ݲ*WwK W:hHJz!PR,e}|9͐NIx/ APM=C@]C6S<<5U7v>Z +Ҟ?mܱ|&z" F xiM/YWzq&LPM"ݟ!#v% u$/ 8ʅ4)} .%tŎYwW8?^ۧ]2Tw(5=nJ~w)aU~ܛI;#_Z@HL)TB=oM=t7)c TV|[# GVL<iHAފ-H\;seƗwq\S"`LcXUQ ,o- 4F\qv],B|`ۣoYX݋m^x;O2x=''Ȝ.d`Ya=* UmJ_Y0o3ݱ?E0FMû''Ä1cdWM5=*bR|͞S5t墥poA?ڈ` ّ^Hm^EԱ0n&(})OgѩȣJP?ny>Fb2 UB.fehJ ȷ<#R7M8ec5y촚Ʉ\v(cZX坌oF^J'd>WFȎHìj pg%sI\?ź6h۔E[Y9OhuHH64p?S57;Vs| ~~=ze@?1kSXQQ_6:_\)%cM.)-a-gkΖm4ۅ!3m =k;ڻzZb`-Xp Ϛ't62jL) s3K&[v1Ui& <1!ԴP `=TOExKD]&lHSB667\Q)vXBrg+SHxuy'a0sHDk.v;qu9d!ni~F{IsXezoMO:]fbxB g]]A8ԟtu9DE~:f4Ɠļ)e;Z3]JWRa2;ϪMX OL벗@;{Iak dK,[,s˘ Y' dw+8ټB[+cҙ z=]6l%Whu'n2G?>q/@GG]C%δE B _8fr} $[ _.N21p𴣉qjIgkEwRSJ5&RFn4>ᨧrcFH+~ro]e =im֒d)wۓA~"?xC %w5/d8m4ZN]B,= UAQ׍V4eX^QдEc l,>{ܱgYZ7zXZִF! |]ŗXi%sxUC#9ag9z z7ԡ|-ɓHz`|x|a!2Ծ;`ſq,EVlR:Q; Xxvؘ7 iQ-y`L};%wZB5ɏ!Hk}l;,42^SR.&O7YF[muH&qTS/!:Vc_?̯~${Y=T s]%yLu3ӱ5 l4Z]$Ԙ1^jgΦ-LjiURR5Aq(ࣁ{X=0^j;|/52d:CpmD7tʅYJ~ΐ,utk>/5HHaGIL74VQɑ+THb}X<1j4{O)6cʸY;Zn9Z@o6Wж՛) ڨL7`BOLgPvА%ڄpQޱQ OjM: NԹ,ӔaTu_E ~ ,掿fm ֲ-|YR @!}ior cĥnC51g>a4 %+4f.hޜuNLJ>dS{^hH 'ϊ}?p?ܾ D2x{L~Kgb<ВƋ &5H`H:]oR)J;șv;\MR'̌Jy_[rl\oiiHgݒvÎtHڌ6R+0@QY!uyȊ2 b0 SkGrnvyf'O.8^5]6j*eLN5r% boX8}f0~+ڎۓ#.@t)p\A1F/K҄ [Jm8=n[be zɀ?px?x*h Rk ´08{t@b3A_0PpX6|O=ImO atf&̾9qzGs?=~S-eN%4I;RmPKL_?d[r㞖l;*A>=*z2`~۪Md#_-nt!flF=SD# e4 ӯ (o3%i/sϯQlJAo_M,[iԢ*;2DIFYDgAh¸?cպjT|7԰.LS#}ʛzmJ\^G?Mn|,PSq-4 :݈̋/h2u=k;&6Q!,Y v42pWĎ\)I\C0K]f ^ ivy^{` Ŝ`ͱ`l/ ]WhF buahkHƋ. RYy=+?8\NazK 1 xrg>Ԥtq] S] ?V3je;p'e GId9JP/8 . #l!5 :j1BI2Y!K#pF'Y $O7eU|8n1M -gYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 149291b6752ff4ef73b3ab42651f2143f8a66755 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 754868a97fb8ecb4bd5624245676b23ddd584c4a 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 98f8b5628ffebda798f975de4a2ea618c5f350f3 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f58d9421c3633188ce29b01448ae8179d85680529711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 23898806584e02d8999851519f9f37f548987eb7 a6499e6c2907c8581564d0315519d1dba68c8d25 e1aaf8f4dbca40274ce496bb4d0c6d06cbb1e04e944ce5e131305920e06297f20830eae424350d99