SQLite format 3@ . BBh77otableisabelle_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 oo= \_GL9s՝TaW50sɽ8MsLQRt,m.R[-́J9}w3A^?_ء҇G) ߉bH/c":#L T_]CuAs:?c6W q12⦮ߐ~*(Y$*9m@t QTQy@^$lЖ"M%'W 2>>-K?~e+Ÿ;34>pUWy@U h:>I,J */? B0i(g*ұᨊ~ߌ5|=nUP Tّ *a4/fvQ=HeFk/bF}V`xh@tхFz6$h[oup=О j$m$I$}Yzf65mA Ak L, Ml5E-+ ."%AA8AScc5tѩIJi^Ccb+a Z6wo$+oRټН/ ȆPR3Y7I`Y4ȧގi#Թf7ExeD=B(ZKH amfҍǽh;O?etP4hf9enyVn ӛ־pss֍SRw^MޭCjVɒuJ:DgиCON,QgL%+\m'U?AtٶƗɮ*]LPQ~u &Umxz<ITmoCʂR)^9 ]rНnQ~?r?{g@qS&vuIV4.v=K\e/x1@U7ZDWPw(E'n2ͩ^X,=בσ`Q]r:N8Pݗ.oE_4?4 8ru0CuE)dY|p 9j~ndSRq&tNٱgYZ7zXZִF! ]ŗXi%; H- u5^,nţ/=&l ћO9$cmH?ndB$D"owݿk [xݤ+z80 DENGP]eo-:#Csn¦C#n! ڑ&71U\!e.?U-Y)Goߝz(N3WL(X`#NQa^ q^u? #&@e й>دf$z|m@c1RMQ߷)R@Kp>[ϳU&sL"|"M;Jf sgǂxK`^$Q9B*u2ӗPFƌox_JDg{mw|vGwDx@I!7̫̬z>t7ohzԽbo Wls/7U$y%0OaڬTOUM]p];pH"oBOiSDTcRXk!ZL9[8CE`o1>Qޚo]K|!7cq]٪E>& Bra:.w W/;`#+ζ^xr֩]2tG(] l@&kaR]HB3V2Ĕ>*Q 2Iw^tNP>Ni!<bn.^`vA5?rkf#|ɵP/)R_vvX̦)e~B\عВcසyR-F: 9@5 ORJ|{hLdJ7g?0jqyGc$GX6z0qzQȲ"YJ,{kDwFT60\a' Y՞:j9s^T}FFaV(wP"4>Mv|a Ǚʆ/e8ʕislF_{'h\Y %mRbdn4y1B4]|zxRQխ`y /USfńja.4$SW>8i 5|UY[F'P~I=lx1Eb"Jj\I/Xմ)֓\)oDn)Q y/H~~fejеR) rĿs oi:4F}V6v϶(_$DžZ,R( I}֥Xsq{q?T'Ɛ7+Ncy2~]6zاF|/f\? u}1)1"&Z )ڡ;\XŎ#4 pJͪ;f,>H:X[i[5 cE}}oqG`ꋻNXI)zDJ늺S*Q\d.D jT`|S:Bn,"6< QfX9]n*Ͼ6Y|~:7ُu8a{u< g@f*_z j\TEJ8?tpe}k+o~RAp#)6$FﻑX!;-g&U5mӦWJo;O0ol+)Y;nj7!ZE I+e|gdr; i4 `FI3*e1\VKܶaG&l]v٤mfT Gm-2^W>8H/%k:8py 8ֹIh+{XzV* Ee@^ti*ǙQ\&Ra%0 Q *l#z"{t ̱gYZd638368ea6f6aea98ac5128b25a047b1627aaabb79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d = Diophantine_Eqns_Lin_Hom