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  a ap4 ]/ Szpilrajn:threads=4elapsed=0.571cpu=0.992gc=0.0007zXZִF! QK]ŗXiɟ  Q F:PqHxF@oɜ.xNlМ& hgRx_}YZ7zXZִF! G=]ŗXiɟzZEBS ,iT̍i&P'\В7D[٥C\YH3}YZ7zXZִF! Q]ŗXi%D8W;FTkҗ I9oeAwOV%Ʉ.,ne󨼜 @>-e-OS LVC6!=o5/!Y;ʧ Bs3egFFgBsg"NĿ]- !PWGI$#TG:ԙ"dDz1e}oMIo$Qҭ2}Mu%ajGv>rLlsN )m?H+ngR0ToZ =Pi55<z Y1!:? m[@x4j**t}kQӲĄnt@"x^C㵄ƷHfkҰ)G*0-H y Tuh9sb4= 0lKgYZ36d569ee09bf5d4e0078da9cbe875bfe038e3269c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a   Szpilrajn  9 9<3% $SzpilrajnSzpilrajn.Szpilrajndocument.tex7zXZִF! I]A-MՋhvG"uIBm5ȬK%C \(OX=EVu|G7 Zggvt2hǖjɖȅ"6>N   ?DfU2]v*G Oxi~ZʿGfpq0҃܊$3!x`lw#I\!٦b} ju$p5ueA#4BٵP8lf@TWc;RUor8fzaAa#p=&WS{DђċYy@ (η (ܘF*V GM.v$&L}+3Ic#,e)Ta/9lz$Xȯ7},b9|к["L[sk_2CI.Me-.k_H6X'swAķb4(ls:q{0=x"o *;κ-VVHqp>M{RŇwhy.gw͞uKc[Gone<OdDьqxЋ)dn DN #9ERM@vۢҎFB)fOLօWhhǗ Ο;%^-9 JQ8pA9 g;Eb_j/%iznInmGiX#7 l})TSxQs qV[ƥKw$|N8HpE@xωic-ň_5VTjk~zBϤ-yEpwdv8FA].ZČ5+cBL2bj+ϴ?1\/1Ksd]̕cGG%W6flf~c. L9@$!1o%xoM1!$C6[)m1'>?Mc;O& K5`Dg,p#Uq4ca՛$i}b`6ۏ>:jMˤye>l`|<+Th? Dbxjb #${f%s )`mH? <%*c맙EI hq$!Ds4suQ~p5rJ$;_#%1F{>U> XwRuSs|[e|wzq:rC3Tc;^3 )+cx/3TUW. UX -|'<2a`-Z"obq'WGs:5Tϐu}Zo<2?P>~ֳ`ul\ϔsH >YBQ͡ gE@U!u2ÞBWra*M`A-!TK f a7)^2H[;B5w&{AD7eA 3e6"-Erzsɡ90z[6b 꿕ֽu;eNيtjc˧\"d)w3U]Os3X7l%ͦtUV@}X6hYtE R- wB9EvhA?'H^/l P]~v [w&/ƲL^X$zj!͈_gL}B1*JJ.?[?g FˌDIehs| :[-E nz? n]Vw{A`H&~&TXTDo:߼ P59iʊ'c]!{~( V/uwmptV}TgAjH߅K{ vb}5K7 3| ˙gqi7妈6wʊLn1(J+cy϶ OٟNXd: _-Y´OiљM;AV'ٌGJK}OBYddׄ[B﹬;jG`ֻ[]4C1(y>(lG[UjwspHݪ#3fyϧvo: [ϗ;DEf5(jq!QKLb.:`:Rup[.+-e\y.=U厽չT<B׼r`Xz U.J*t8Ln7:a o/sSkx؃gISǑix~}ydO\I1y? {An8B5Ov=?He,\^&3`O^4P$[~K};f_YG[)02ۮ#EWPϴX1@!3v˳Wf!fѶC*]e ?EF*PTiv ֫e<CP*nDZfn6 ې?8m 5#Ivs4䁢mM1'[;fƞlĞũ'tbPI@h7 mc(KƢ A|^.^kZE͜\n_c'v\f UXXB\k`%qg YhqP0'p4ۆs[MO=m7 $7L/RbAt`nol(&hČ~Fp/F(V\L".08l7HˆDJ y% T5m<嫷IdZv\ԄgL~m]6WL_dD.^NVjsL7d>p+sJ:>ނކ>gY0&JI=bG/Y=h; (}( ?daW+i,p46uJxnLLcŊIN4nqe y)r#,B7`gi:O' 4=eza\5&c8 ^RXFVx hٚ{V[ Eri^TT /{QyJUHEf$=,5aR&}3y`m]׬PP4wn-uT>ρ>E5T[Z 5䞓~˝8X Dd:8QkLu77?cYּ_ɜjI |}X_S8fц%\[@Tsѓ jhvL.=m(Ca:Mp%){Qxc9Z_>݉TTXSǁ HO$f/ŮO琝 DR)$>sşn3( C3v6E=V:,>H Y*WEgYVC;ֺiM vL~WT_221f; ̓0ݨc߰SIFƣM wMrv` F7(+3RWyQJ-PǠ+MMo5T.ܧ0t {mroҟw1jox3nG}0eリucggDDe 3H0=$;ӶV nIU+ۄ>K|Scx^2G E$ߞii7W炖Ha(qƱ7;>-8Ifh"&`:]R~iW uk`bވf[]I.Hsa(+soq9eQ6="! 8" ehœ&GS