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  -?|,l ]]HOL-Computational_Algebra:threads=6elapsed=34.531cpu=106.432gc=4.580factor=3.087zXZִF! -s]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Az{ A1ٙ}( , z8r-ϼpU [8' ߬> &`H7v#BQ,.^vlTO;bcO}12ideԂӭ>po%$z.ܣS Tݳ(y1]RtH2"줮eߔ8z)v#ʸTRAsNӳ'1Z\Y3}_+I,d|>i^ϻy4N9 ?u'ϢNjrJF7[rM{=nQr?-`h. 9{$:K?Tkbw}IY1{i (zI#]]|ٲ6[eL/Uyk\[^zoEED$?{|c!է]5M:0FvH:t]JN9.|C/~2Skcc! CO(g1 OC^yi;;}/:bdQ?/{6ʗcl&g`#!G "OX%}$8Sx:xDU,}bNRļnFs- /R'#CBHrOC(Gԇޣ ^\aؼ HUΘ H9^d/|"ą=-Y\jbl&sĠ2rfmy[eyUqHK,5|>ˊ`}cFsI.P(jWFfE4sô8+s*v i]e.VZu̶<)\/fUc螁Э~U'9ʒzd8]:5̞*gNZ=;R,6Oq@lm HWҜi*~9|aja h$$#Ԉ {˓%hߴʉ`lNRҺ ӯnza_!*V2 Z/gYZ7zXZִF! ]ŗXiɟ1@d boE;pz~ODyO@v/QզDk=pmR> bFy|b U{ ) +گ #sE-Y&ou..$(Y/tq;ی AgYZ7zXZִF! ࣔ ]ŗXi%94ʠiJ%Q1GF^^5aj6_8`#,WG)J :n:scZȗRX@24Ucd<!j-z *WIҭB0i\S >ulg 1{Ba',n^EGXKrk3p4WԶ~`n9[\NEGVhiC)'[M+{(v0-dPkFV{.a?V-ȁ&`'3)7hq_aw'~hgOuO#?soǔC`΀PR Cò?RriH+&\xgts&W%~p,^ s=/!Z-cY?Bb7 > ;_^,堄͚B\OU/.af֑67T0OQshb-r?XT*֙nH4v]YꞛkDzS4X:֙'7hΉUȕ㙈>%86-q7WCyӂ6?RC:\ ojs PyDK#Akpcz>FC_4QܠGU8EzL o{tQDxVwEMŽan_tcsO5w$,lv]8Ujn=- iص0#텎6}U‡#.%3<|lFa9<&RF j.@`r8bl֣ k a-$*}ˢ/ v{ㄛ6EgH&PY_P%|{gtl BXA" YHfb;o"e,,0nw@\: h֋y^7skob^br_RL[K7=yөƷV}pX>04/pDZiiWb -4ꄘS"ܹ+2 yy2_F 5aaI:aNk5h@'HG֪&k`tE]_3AǴT?z>?VӀ7ɓqZ4"qWw u^A KQ>o\:Zr? jjS[[U (qgp\Ji|.O oSi3uP#L MSA Z;fNdwh[^:giHDȁ,Dwx Jظ{ C*2-M~VyL7)D=Ue(Lgn5$p͠{D({Q~e߂C ۇwE5c̔ی __;{\%TF"i8ެ-}V# YiL Xx|si뉟]}H[a?+at~>"ֺ{gfK}=%G<-e+.n-WQ$W7 ͟ cOU>ô5pRaSH׉a!D݉uW.R!FWuoc|`R4)D{z6\KtQ\pCF,Ik7DV}Bq4(=RF8ݍ⦸^]b06C?H+5/! y+SCa+?9kn \d%V8;$&UE셾{.Ԡ)#IUT['E|)Y &n`8N՗,(^Tsp" 2!vaM4=/<yFo)"x9oNӈ:5V){P ٹCf!xgȅJAZ1N(=W(*<"_%K_0_m˿  Q z_mUYaeRo4N$8@0ۊ1kZ?ոwQ-o?29^# J;b v LL<9F#|~^a @$P\D54jDڷ\^(`_b\VܿQrX$6ސsB =/ܙ1qn 7#鋪;3%TgfKw<!:\ؠ5-V>@L&p7q+][hoHh^-m9&(:"m⥄micTV_; h/Z=s&h>@xG>V̆BIA2$sy d^TY\C^SCgYZ78832f5c28160acc284bbb595f71fe71e754786dc68b30ad566b49580fe13839f7a432f3076bf46c c261812e8cc579b00fa6c102259eafdf6ed9acf2 5c42e8e60061297de4820761c0f5554d67ac5643a91cd0f67ec0a37507b86840b88bca15d8c0603b