SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  h= \$D ] Polynomial_Factorization:threads=2elapsed=56.158cpu=93.072gc=3.560factor=1.667zXZִF! +U&]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj:wc%iBtx=Gpنo2Wv)dtޥZwnhfqPAAB)h4] 8ܘ2knݞ4~k$/jM_wv5b~5BOuUqqh9tۃX!r0TyX0ò%ӯ\aKa@VakZb*:2"9Iꄦ;*]/gcr`hWи%vic Zm/λq쐏z}U7Ll*bC 2S|GL>,(hBjJr(K'_ZY1zv5Ci{)n7@Ok);g"AV$C?@fd%@\k0)v V{3<₥h.iOzT.eܸ9\}V2> \ZaW߆tc玍#DسyE$fmS}qSL}q| UW bQWTN,TYD4$!nUn{,$E#M1BľπXZAh@xMػd}%LZ~}uFhmiz0BcR78/2GMffes D@gMT:}JX9V kKs,7(f2~o?E=}lo 1 OmI+^)d [KԔUxiTܾ$?eտ| u=@dNN&ꎌ_ϟW+p;xm_j<@V ıgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(֮݊5kus|˧ +y{|8iX_[ѹصS<0v7B = Polynomial_Factorization  "BiR^ Ew@W1yfɮ7 `,W8nKBͪ=Q)TU%{ڨ/jEl SqӢ /k>iM᠕rfqAa8O\@@8H֚yR>R8ʹ7ZEM/ 76V!o Ĭ`8OAp}0e'`G!^_uoawm=q1T// ~j1X[ۥ{͊gg;UT4C?̛CxMC:ODﺀe?0V-0wc6}G?L24 Q]4lOYN4\[(c7^? 5xܢ^*4ŝoV12O#yMn)؛dd) eǝ4ʺFs|hg 1 Uh!p{|-%:UuNn v~RtE=: KVwȤEBMRըƻCԂ׃UF)ʹs`3DV✌K(R_pZ=(۷3i}` K_$quy*y)cNrIIp+f`M3}Y|R*B:BO7  M細: ň-{V\1 *>= HZĻrd]卵A8#r1IqY ]\q4 w{[2kz_[NheW\6@euUj@6ּ[!ރѼ $=iXP4<ͯo6s̍. K>8: .`ݩX9NoKbEܢ+XmN;FB*ʡ0CPҙ47ḋTz$~#Y$kbi]n5L/~7HޑѵA@˄I<^6|j\ck#,(;MqȮc,lf*Oo05\ X]TZ+ \2C޿ \Q艹Y%TUkGM/0ݱ^4DkP)M9Jr>9Q)yOG%"#+]IR<b <\H}No; 9k w]vݤ#i8BbeA\7xjds͞5tjza2/yElP׺V*$bWK5WoӪ}w}go#A,%[N.0 hxH9F)c>jS/yD˝Lfat],J|cl:kH qEt\Fb[MJʺZUeSDgd_$xi,wp//ʫqZ*ʕ{] dK 2UvWLr@';- HŜNty2c>5k0mƩKF7W^틍eS#Xo`)yՒo8~,_'p2.ͩ?s0b[qϨ*ߏIA`2tگSߎ1 ^OcVE Hu2i}'3N Ф֮c=Xvej.f' Я\TYYҒ:$W2OC)Yo `8%(B Qӎ¤h1Jk07&(T*ʡA,Mތdʙ jJlhZBK+EwHi053tۤwW#sLuX2{d!V-W 1,#J2vP' 1xdgKH할G5ScCs'ʸQ|練&Ce߈Aឫe)른cJ8{5: ˛h͓yTp0=̽yT]CNFeKf4@+q" O ({#/{Rln#3D _ 2f1Z۷\JoOy,+Jdo/gYZca39ed1318acdb1e48487fe53a320ba03296e44e767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f bf54b744797d34c7e4e36c060c1a4c82c302f095 3041d4407bf0e437c06d41e2359cc4899669196b 87ed9995cdf30bf3a8a68f0e892decce2caaba12 aa2f28150b8a8663feeeb87faa767f081c9f1da7