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  h+ d ]%]Simple_Firewall:threads=2elapsed=38.956cpu=73.128gc=4.140factor=1.887zXZִF! :|]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6g#ڝ䘫f{x@(K"/[O9oC6ve׮oŤN@G 9+F+uZߙuoT 9SJLeX1ݟfyѣEnQBd]Nub"F-P~6%ykV6SVԼ)g"кˏC;!;=b9 QڵEUttr>#E_ᶾ'^Os3a(4ڒh rD5x|ՐPꋜ=U&B/$e eQfCx5z#kB/AebA=C\1@L7Ё+ _mkT@PNT(ۃBh{ ]K9C7ig!զ 'l|,e?a w5%^[?S ՅrZ\J#v&v^ƀ]זС|WU'pJqY(ϯѻn/8<*7"si(}̠:^v0;+%e`c=*U! )1v䢒E$-}VھfhޘYHGb#{>Bf:Fzf:3I/[Fˮ`T4/cYH Q7+rzY45:MC(uA2KLdw u R.mI6ԋNH[U [\ׇ%mM[-0 + Simple_Firewall  \RlPnsRaP8O-ʓ5cSDZ:?CNÌ[ZNw)[ZAMӷu=vtbs7~ͣnyN qAb/ᶗQ=7{em]Yzq$gj*~5J!=wd @DeyH\aRA4Oh9hhm)7xe#Ò(A^f_3/ZYu+,I*&E )O|.J?"-!ˋ 4{'"D Sf= & B9Hzq5+{tBۤݍKqSA8wglbת1mϳͬf+k|s%XpX2| uXWr G ~ K`'ULzTЪGo3g nQF{0]jBze;'S[H(SuZ݈+P8Fo ;$i!Vd&Ge u֍'gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2Q^e!"+~f4 ].dj綩4'aO-2CQyv,cwd_;x_1m\pm>]$"q}gg4CP-&RN%̔qU>p2{ Im=@]wC g<[jgS*s}jиNH5,M7w}9&:w7: R\<؍~\s@o&ii9x:neɧH*6K) v?rE5mfE|)}ЭؿEi*MSKAk%^URy(pS{^V Z@]y!? .bӔqiMsNuO\*s BgYZ7zXZִF! i i]ŗXi%>g/9Z0mtk7eD1. 8ƁRy쇤89lVIttS㩝ZDK"A?+>Jsf4[2~ȟnM{&los`eCGH<T@+01?"IOk!Cg'5ԠڴPRqDiY!:6V|<K Wɸr"/<6(WF2geL,Sz5A͙)%a?_$d_ Iqy@ k,b)@{M%~aOu"G8 :J$̔Yǟ ڃDA[*n *[|b> Tp`Þ#fFCo37]ҲR(̼'𻐸0KaRɔvL|Ђk pyjU7f*:9m>{e{ݙ{[tXMF+@9FiEQjSbx;e2OG&<+Ls<:D7HƋ Ux6*SҎ80m$l5ry|Ak2WE^D3:"[bx!OQ"Т%qyq sJ+'mxuy.P 6HߐX1ya/~ UbEu_Qv 'o{qĆ5YNbrNC kK}oj\ǫKĢ›W-O[{ȖY8n+`][DlHgA4!X#S/z0It02%u?-j3 6xJM&N$]m1 Y<;&سt?k6ġ.,UG?^Ҳqٙg!t)3.BT&cD: tY$KY0akn$)ggDBĴ6Q/_),}=(?A=m*i!mCtNDskEEH~6<# wyM##T[J+&uf+ᚳN}?<22N`/.rl:fpO:OD_O; <7 yM-,88a,z;d*ukb? ՛U.mL,׼=N NVSH3I:Dj`'?;mUR;y>Z) kԫPLE $};aM5Bo1 5ʠ~4L8B/tt#f(U-UC69wQgB=?/ղ5btx"ÏP#P)tJpq9hdHz *~љ%!e# Ժ%4$(IW„چ@JI1|Xg-+M\잽ꝙfBC׌-]@jϑMj6u*BS=)2Y@0ܽ ۞ܓfL2O菎ٷ"9eGc0 C ֠birgX@ngYZfaf69fe3f2fab72302b6ce504e00a78fb620be24767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 88b4f2682bb4f2e725f7b620eafbecfb10667ae0 2f0373457ec77174336524b955169928c6b974e9 3ae56b1a9c8a731e8ff2d1009e099bf6cecadd29bd3a284216dedd505b941c42667a1d69a481cc85