SQLite format 3@ .0:  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  m m+ 4T4 ]%]Simple_Firewall:threads=8elapsed=16.040cpu=64.458gc=3.384factor=4.027zXZִF! 4]ŗXf1-/6vR[]~~;S0ɞt {N$z`9Gj"Jd b'UtaTL + Simple_Firewall  !Q cq*5R8{GbBP~~/x ve-vIu;˓a{jx 'jM9Xol{ oaݲj% }༽p:NGN47y@Ce'oTPoKXqh3l\q8lGw+8kA_ ƒ"Q뛷 ouRy,rRc粣v _SDR4{+d-}P,Fs?e- `C?Jⶏ yx`[Aĩ0fҹ{#u>Hqux şX=0e`ɦX'}"jA9m~өK> jp5~ 8[\xWμE (-V0w6\(wqpY:=}J."ر}dzxF_x&g[59fRS'B+aQtX* ϐ2iz,Vo& dWz.t$u;KHrTO>K'shh'dj(TѸXFTΐòҙ2jfI]yp[bEPɦ鲦)3cV?._WaUf5HpikKJ~&:EGҲ=YMTlg$$u7`IqW4wg^ͩpX?~<9)'+y5|a>3k2tLL"W+b\ ijHgYZ7zXZִF! ]ŗXiɟoFwՋz?m^A  Cˀ;UeHgmQCz|f[/$&OM{O+-Rr?WN,+eA%RB*.8ym%/Ĵ0%kpvX555Yu731?z#‰A%f<m1t+˖ oC3.W U:e.s.| B?ƾf/v'c!1r@po;oMt:u Mk2,rYf'J⠑0{zFbo52`\<-a?O|m@\}Ǚ ev]`ԥGfy#v1Hu84aP5B8+Q&ǖn<zw7 HJ!3}O)ۍ`-b=)w <*-> PgYZ7zXZִF! wD Q]ŗXi%EdxUaž$2 Sa]iXK L't1]\ M6&LOdY&:$kGJ}i^䅺%Bq:*vϱ]ث LzXd6-)S +~hߘC" < LH\b\&]P?jRL$5YRD7O:?Rs4Q!Y~R]CٗZBƔmptG] v}ӻdmUYv!Oڂx7'aϚ|Eh[+XzvH>' C GҀh_5N,:;ᆟ] Tu(Gh XGm> ĶDb|m "^?1jLo]Ah |q"Uu_ Rkƫhs xYz59* ӸE), s+[ABȾ)m`W<=x^vJT7bFQ}GZlJڻ2qs-,*9|jp?*7SX D,n7rkcG!zp'AU֩:%,S&qp1x]{ks$)o7ʜmJgv螐 }x5^AoVFސ#fTbjs)q1;s#`GAX kGw"^|/Rϐ ̊)o~#GM]rkq̅, 0`#ң.-N+(7;կ ,dAVu_S{+R߈ MЦ -=jU;]mlS@"*n&^GxTIð,(Ftt!(b4slTS/wK*45!K:Ɖ3{jepdt)X]|'6ߓRf7ل2 0=-3󪃅$1Pm:\ٶ{ 񾨥J3XS0)"9F BG<\$وG#jϡ\EU$Qfa:UNYHCBRt>Hy;nǬ!pw_ )v%9#N}0$ bb݅q 7!G9ޛ[%}^)c|›/c+ +-Rߣ˲A$)y){N:Ǖًk"]e#jFKٙIpƲf\[U񲉍]G|ϧ 9=5CܺDҲ2i}9ї@|ów}Y!bKBʀԣu1uaCRh,^&??wuOG;crFx\Fnns!"^akjشPhË%n.J>>5YԪ-hHܦxduXMzی8"~auׁ-lhxv'#ٿ/bе4e?Mrp`ΛFCC_W_wk6R*@d\Wu)'[ xὠd{qu5'3¼L_댶*9U8yrpK5ztz)5@cȈWV]͉Š&ȟpӒAT4lk8ɚ HC˶p*V\>@:rcD0I bB4PprgT*wW 4y>?ǎx)`zpFlkB9*,s ¡{+&LDG_kuIWHd?U)LHsrjU_3]Er-Éu}1 lp ڍƈT# N QIǾ[gYZ2b6485bffb4499d0e4bfbf614b392a1adb9b93a444ccf15d3cabf1d8cc27d7af9fe5646307c6887b e18ba4743cb52871247a2781b1eee86c87e47f56 9f9ec9a9eb179d538c37c71e17f171e5a289c4c2 cc539d4138f1c39b11ad6a4de07a81df2894ed5d 662ac5e43f8c957e1b52cb1799a4200a7d1e11efa3c9649e2c5e98c2ddcda49970a8745e66644c21