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  57 , ]/ Gauss-Jordan-Elim-Fun:threads=2elapsed=3.455cpu=5.356gc=0.068factor=1.557zXZִF! r]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=B}spF$&}6HGRT3@$˟ RgR#t*_6,DLFӞXkބU(ZHq\1R*PױgYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(8zmH JW* `+=!m`g}YZ7zXZִF! !z]ŗXi%; wq5L.gI,DBY sR?lJ 6َ^JAZK(?B6'M!ށ`"YI+O,YL[P!1~tLڙCqt/<Yx"S`mR8^OW1$bpū4r ٟfK}o)V4j1L\)vADLbd| s (mAx[I迸XqatFbWѮ.谒JoP|Tpw9;)Q6.ROCLE$~B=`jSHsӗ-|d)Hxj Pt 49V0' tJ/ig}E _Ri pĩTt5 Zm_w4jI< `׋p[vE tSdݶ6-RYe7_l*%w,|9B@#}gYZf260f89fd7103d899266fbf1f20dadc71628b4410a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 7 Gauss-Jordan-Elim-Fun  o7c% DGauss-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-'rRlJ3EK%]܁*>b:,Ɵ,vo1L Q7c% Gauss-Jordan-Elim-FunGauss-Jordan-Elim-Fun.Gauss_Jordan_Elim_Fundocument.texS>{ fH {婙ΤXs+D)YBS1ӅwH2unW׿B4PĔ %vo+SGԦHz@Bd:.+ (|a9]!?eaQM5Q g5އ_gQȖba`_WOX~GN+&yL=mQvBKb3L +Bľq?2z)'Z=Nnw1QO2k$wEЍpz^ [2& ۆO!>~k+:VG"w,nYbOw?|R M~=h׎M֖ظRX=p72)@_ɢ#a3l~n\_K}NkqRlRsˎp3(glsHѲ ʍz6$ (s]-Nj 8#`MJeYNu,!&b`hK}iAkwky23OtdQmSFo,4mhj1A^L%d! *R0A-ca?6I5jphP|@>$۔$|>6 }NkU0 d#Ϟx ~Wms 0?~Ӈk<}0 Y*󛘰s1 !S!Q$$:MI@)mDޗ@Ld$@iU i5d9A=8tF)!WK=:]ȷ\;ՓTSKz"2:Ɛ9*gȷ)9,r(%%[MvkƘxF)kk@Gm&ðIf!o:k2)J#id~)pӾ C64D=B8@JHHJY "Xh`*7htKJ5%~dՋb&-=|eB3A46r38BF>|(`I]p'cx 5~9r.5 7 d PSWNw3De"jB&zuR3sK HY.m;5섽tNEŇn T.,$a""poƜ:A|W'묐v?G5F0Kl/уdY!t ]ce?QQI 쯆Y.j@FU$eyn##7?SXAȲhXU~^tt19ROKײ-i*Z{;19oTa$+IWHl7ˑ6iQd:rW3$G(1b.Ъz"J{v\o'+TS[^=Tu4c%SAW7X^Zd/] ^b J#SӗG"Z^yk\r oy]RH'kȫET ImRc'ZoYxr5Z!9ƃpbaG8F%IXq׼3 "k@Ms=h2J`WQ/χ q =r+ jz i^‡H+z#$`MV$*cX+oP˹f+ "gYZ