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<,4 ]/ Gauss-Jordan-Elim-Fun:threads=4elapsed=2.289cpu=6.092gc=0.0927zXZִF! p]ŗXiɟO}M:; Au.ඓLlQ` czq3_H䓸H$}tyZo츊IaTZb:''ko.4,FRc~؏ C Y$cbS >t0R4珽R #Ai,09EiॸAT(!H='x煱T{])GՐV}uq ޴~k k"gYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(8}}'ja}S D= D;Om`g}YZ7zXZִF! jS]ŗXi%D4=7Rd?m\Ø_D'ZP=JJ]8 PKUľ DӁ U*^NH54 KTWzVF/7?DY8G;&lY>0N.hZK 93q^Dy%Ӏ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