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  /\t ]c LLL_Factorization:threads=2elapsed=63.323cpu=113.956gc=4.516factor=1.807zXZִF! $]ŗXf1-/6vR[8SenH iYʱC=\7B38lCzgx' 4 K6Oy F,ڐE(p& ߆gD75WQᄎgU怺 o\*г*cO1x?3LMK[3.l %g wTXi-HU Tw*(ނ5; b? $6oJH03BE'+mղ ke\^S&?i}KYy:ηr08r V{YN 5)Yњ%49KNf[pp=Zl~}Q+Y/ RS Lsq[IUIgYZ7zXZִF! ]ŗXiɟH~1 ?evv^B8۲S:Ψi^ y8?v ócAWkXS>g&AAUF,'ʓ0],R\[C!"C#PC@XHLf[\wAUUj'SfEUiG~7ga,gU sy2/OvhI cFGMaTI6z / LLL_Factorization   VԢM5(P2.Խeo} &ό)@;SKW~0N=jK 1ho2K,7oEHe_8ɊQGFX=(|)KyC&8Ν12?}Ǎb#6o*ELc_#`Zt1+U` R6- 󆘖SR]b_i<Ҭ>|F)Z&,rYYo9Dkm_ iLqau"ƕIg~&UБvyTHT,XXNQmA^K_-DBl/Xto ="{#{0}ԷYC_6v݋` a7t7,Ƨ^Q Ek\S;΍)F Nyۊ=O=sJ#ش.iP?tl&G(<ҟs_0^ r/وm|reJ}dٴ_i/X2q{!*5ҽ/*M7Jգүԁ.ҡes)uz-AQ fjӄ-s% c<iMHZN>KNܞh1ڔ[ A^VZ7n}6c0^ K@mesT-6%vw!-1-S76ӹSSa,og$ *[6сJ*pi f+ct/]^8 ٸw! 2-:f"!^o=4 <Ԁ`#pudZ?sb{մ`> Mg0b_Me$( QSR, z>Rr䎱x({A,$_(G3l _;CE?]XiB? _̪fY~=j) Fo0f,,?*xN~ձd_V:dB%JT( n`3+`wha`n'WmNκ: #QG &p`:~z[d]f+_+̇CM)7~thtQ[YE"2$5[u QfWq$c0SDVj-IXJ6 TvM hA%\b_K~fj5Yepre~ѧHւvgH$ %7Lf_=0H4:j! ,ǯƍiŌD-}x^I R"<N>_Ir`k͢[;/}dy%Fx, /M;tÊR~@AVy Įw3F;dz %7 t6>$oPI:0e< =HMt3Zus/ cZ,-jDA<>5OZ#(~qNK˿՜+Of?r5#,kYv[',d ɣO4DV*5=`4Ye&0Z(M4פr 3BxP9-⟺T߻2wFWg8Les7b?A'C C.cng-ϻ>X[mN"_5a.MD ȯ ệÑ.?SFkH(Ьmz&KsOA>S*Y{A,8c~.Wf4lPkji]̌݉d;U-&OZfuA;{A#x0˭8`+hBI`n[_oМ{~' $r܃MChJ͖iNȺ=8}g$Ѡϳ!:+n8k`9@> -"lU */+ERQ1ݵ_@i;$ZĎMPפ#ڥc&7B(Fuǔ=`y1LUNI&#sg29 S1AkW#n H [VAty%HBz?${´4ȎET3W}9u29S)j3iZ"MȒ͟Ii(}: WEɨSkHHj[Y:?NN#H Lݲ~8Y?vj `ΡE cgYZ19678a34c0197f602dcacd90ca2706e53d4f8dcad14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2 0a66734cdb802077f37c1f8733521e1eb5899e80 00d9e1a13daa99ad1e97fa6ac5109bafb02e984f e60d514716aa5e918838380b239186b74e7a3cdb 69e5a32eeef44987c77d597c57d2c58e8cf92a5a 975be6e70ba0d08867292a8e8ebaad72ee591ab6 d77608afe1e3cc50eb4288a28da0a1195f2c1a2a cdfce2e0ad26b32ab0e085f2a1ef122e52b7048f 4cc7983867bc0eebb80033833d7e7add0bed5840 ba709dadb65c4116a76ce1640324ed52337ac609