SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   `7p,,l ]/ Gauss-Jordan-Elim-Fun:threads=4elapsed=2.288cpu=6.172gc=0.1047zXZִF! p]ŗXiɟO}M:; Au.ඓLlQ` czq3_H䓸H$}tyZo츊IthKL_HwX%1OwH%sŞ= [C}\Wfe};gk (I4ԧrHUN ߸vl"P|r6zKny֐LNp2y^t.~i |8~sVJ]'&/uEKZU3O֌-p XYQ{߯VBDfؖƍbf ,/I(r ZGx @O o.&|Kc.q҂y:ٖGCi H'"mQoKlR"g7>yk`2 _<MoZCY4Ou% C}e8IQx]w eadR0X:tr$Ooo΄hmjo'ubR+-4_t2l( &ci8ϑ4ay]Fuz~ՐX| >HRd'gx2f߯> M~Y% 4 eߤQ12E{ R|":XlH5B+eɥcf,N\+Z[B1U ^ځ_R ѿ@&NDGwJߙI0vaIb4R<Gr}CݖZܭ/6?p"?aX gu'=ޏR!nIw k7\gYZdf4f9fed0267e34219c29d475ba7f10e4589c69a96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 7 Gauss-Jordan-Elim-Fun  T7c% Gauss-Jordan-Elim-FunGauss-Jordan-Elim-Fun.Gauss_Jordan_Elim_Fundocument.tex7zXZִF! ]A-MՋhvG"uIBm50Umh ~1z5"( |q u.+#5jHrRc]ޯ}Vj7+|ӟT4 +StΚκþ]=t-6vO֬D_>%ӀzW]vhAfk9uuK-H?"}'' EN)ݟiIceI0ຮiOJeC 9nEU bVD ykx^qF+/դAc :X\&;+$=YD{CZ>RyE+Xc_$.w=ȝZ ҵ-VYD3.@p .m\#ǣoKŠ H?6'%BZVDĞ쒇[Œ#ah֗P9E' \YTW!bQiD|à?{1\|ᙫuZS¤ael-`Q2~.XS6J爾HNJQ#==Ȟ볟*yϱ` A*j˳UȨ'];`| ~!9'9Pf3 YR6/ 96R:Vc5>X7makPυBr:2Z.u`J%?>C F emN@Φ@`Х[ ьcq#1#ݱ`*o5nT㜐k(R27:f&շ;oU_ўp_e!WC /xbw׌tt*$B7f*F+YB]e$ gZ_XnhKX19-L\hLfg U!G[CcX,*Y0 vʆf$,%łG*ιpsb5W\rt u+PA19@1>zf=&| ~V̑!29nJAbhZ΅ Zaʒ(K1-c5%! louB= }$ ck})1E3+*GҮ^]? ȕU'W9uIbjn>@-abӃษ:O>-eWH0&kAU`oe@@_ޗeID+~UA=tM d`'+G݊m,#Bn,쁅mf!U3T>aF+GW]^vw4&oZ :_b:F7M5iie`׸>=˽)3s^+:)69[&{6ϙfGrffx"4ky({lGE;h惡b*n-'rRlJ3EHM Q7c% Gauss-Jordan-Elim-FunGauss-Jordan-Elim-Fun.Gauss_Jordan_Elim_Fundocument.texB<0>zqEYnĭ#؟Wq!e[4svaq%+nyI?yyAԮO;V R?%/eLJ9ЫψplW?mϾz+S]Wh+XL5Zvᜃ_D 4>ϏqC6N9)DS(k;<&TUsy)b#HR;H5 k!1uX l`h1 ֙x$&6uƆ˼4 Hvv!xcBd*;ePF^׹Bzb_k${XiAp(_ڂ/E*Qd Ey铂V gJ3 7poABإۭw'|{pȐ{~yBD_Yۦw)N MNȊ6osC8嚂AD;;^o6l}*Qd6ZRɡy@|pis_CLt-D"PDRb{s[u\_= Pk>!{n&I6ڠhΒsf5(*Ť!LL[.rԙ^f82'463J',h_}ZpS0Vds~djVG!OԏЗGv ιb lhw[*7Gen)쵇Ѿ'8GB< 2n׹X@E#)5B$Pw^Nʃã1.dZk>.@TKτJvFFm{:i9eZOOxR9xD_ /KIx]r E[yyNR|mOan,E{cۻs\"`aݲϟc nO^^2,|rF5Dstdƾhb)(-!Fj%GN˙L8r)2?-2.)~fba0tshu/@k ާ/#TFKhB3.Su-!azWwÓ F*ЅjJ* `BS3 qZ@ALLN-R/m]2ma?Izi@~e/@!F(yL^.AΑ>CNkI)ԋXۯ>6:wcO<ț“ BKEc}Rb04YeQjr C7*HP7BXuR+$O%,}f|гLC;}j$d}SGj^_^ΏیRa8VkRrM.^P'|LF}tۋg¦^LGjE + 4gp1qoz.칸|249EqU m&dc=0kM՛9XXix6lD^/XoG"+ ,[ΨjJl(c;b=<*=+UgY&q:yr]Alx\ g7[5[4r5JCF9-c'e$($q7W;;^  N^ x [7eۇ%r L -\0Ս\ѧUZ00C׳Z<7h|u|ÇĬ0 G/ aO \SVhY$+ kt<.2q^Sؽ$\iD.f8klbr[|R"AQl 8UDZ)nnyfQj9fO7$>jF Ň%=%'c~u $̿N"R\$o7HdjE Qo7 d C7$\qDOS 9ؓH?_:v@ÑnKEQ]n0/|=~Y rt2נYJ՝้† PZ ik?/_r+8j2'1/Rɞ1]JG8W>ڶW F\`'k2x][RŧiLo\5]¡(-^|e'4 3<*vZvP&گf_tc4@tӵʠB=Y4^%_0-ytl3s|% <$?s4eJMO)&QCkirΌ$Ma3'ܲzKbxg4}c:#d)w2pjx+ Z]hRM(,Vy6z!טo