SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 !!T7dL ] HOL-Datatype_Examples:threads=6elapsed=83.754cpu=307.696gc=27.608factor=3.677zXZִF! Q)]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwaû ^JgNES 5h6! V%/3v/km $|-_};uE̮bTRQ9w™SR;@ &1aBWVyj6,ၯ|d(N"b J%IJ9 T j!w,U&gyfOHy o쬮x=v @7dBW$@=TW)}{맥Ku&Ĩ=˥'wubp 4T$|SwO1A1lA7F؅l*#u|ܦ|W!GWJnzJH$zgS pԋbuiͫMy'\[E%AUr2B#$hGs>=~1وw@?靶QSeSÛ d둰vT̾;h|s'~m۲4r %[4-@ҩo9fa9v`:HRPF*&ͫржл2x_X/305(_V낆̹Xp 㵂ujo`o"tt*HeI aݷ |S6g4N.Ab9:&&Ew@:7Vb/L]Zd1:Q `+j?ܫQ@#竇v)_}=;A?C? bxdbSRLtI6ٰ͕GMLM9eAKCsdJIl^')Izji,\% y'-{=CV ly yli[X\/)V-AHʻkn"XSBꌝ>(wx`An\ڮuJ-@s)wgYZ7zXZִF! x]ŗXi%6Ƥ!O K}x_ǮR#bv*$V"x05tX{󒑑eoqN O~32$Ĺs…nEB+WDV+`:9B8@5TK$ d@x!ԓ 揭RTm46"<i]Xo}ؙ*+\2:.7ƽSY4*hy*2x?7v{yV>\Ǡ})#> -rO>tTZD"Uf\¿(PfT<ڿּAXPW>LQe쟓Rr/ﹷ9(G9vYR#G+,ȼ t\7.igI+~z)9MP hNK';X)zުҥٱl߸VbdqB4s?'hI@֤xM%W.1bYI,H}X2zZ烵Lo0}ܓ`}GϠMDiPǡgZU&yYEϻ{*CXQ=~'x0xYDxA1&hY+>:h.Lh_6:S98qQv7]t[, 1+\m=20~Ǫ` !BIcy])]aT6,J3֔ ʞa?Gϲ g{J8.{tPsbAjϡ-JgH@mP"Cd4q+) >k6R4&^c(T`;ճrXo]`mXADn_uLj7ϒyCR466{c;q2F @CHLo<ǢKoE`cŊB͐A@׏UтNK0/D=9z()_p`#IrF[ )[FP0Pi3={֐ʬ>9!+y-OVI 7 HOL-Datatype_Examples*32iE%j@#.hPكTz*zR336<7hXg43 PUv1ԍ1so]ivv$^r\XU=h} *妗[W-MyaCbLX8^%1 7$͒:1a$9H$zN޲gEtxL$&+!17΂s„0C90NA YcFWCWԊᵹmzlwnK\/։T{$Vȓ i@cQ v{f)YLR)^/,%E͐U Jť >Q8; 5M=F$;M !` L)Ch!8izw)ޠou@^ ҉? !&]7DP+ g29Uԟ7|=OiW7WX9J/ѐ|ra-@q j]4:L&YuO} `A K4g{:!:n pj?$2ha$n:a&b\HoS$00ͲDy`NXXzy%hE,H-k="2R]KNu v@Zv4ɪ:%(Ȃ߿ecRZy5fRY@\J?GH zFoTYi`V)! 3%$?_qpedɊ\&b\ SκŃ"I0+,K|q:?;Рyq)'ڴ8X^Q~e>C^7>Gfg&8AE]jOvkme &vOr>6^|Ro/_&##w9GdH'eT;~[f0"5IwNp"iYIeF* _!MH3AB`K~8[:Jv(ՙJqc2B}Oθ)jn^uo,_$7_u";W)[qkSY;,[&ѹGmJߍ*>3\@.Xb!J5hUBmraJJgF"[ :"(xn7w.g:DwGH@LB;CF JYmj[Uo/Ϡ/KLiBF'CV9l Z8? S;c:VgK0,QTG=+D; eFiOFw#!&"X v;tLR7S/|[$&A@~S!Ru~[2)3X2'~x7 HҴL]8{&qȄD8Ne*)DFJV'抖IEǀԶ.!C~ܚo#O)ʔMXȘ0A+WvJVyuD {- D a8b ZDݔQP=;DQ69wאz=F~ϟ{"n@b heCSaWT\ߖsS yXN:T="{dO`JF77 $ , 7QLe3y=6cd|'jP 3L{vgbD[6͘ftLr3R_OSc^Ї!3kFƾ NZ`HJ<Ÿ.3-¼6Gu^[vz(^(ed:Z;pkDqXٞުBZ"X "D2o]J\"0kӥXJ VtP@55˻ }#B]*KSzu)-Zo{7}%R$.SԇenW MZ'~r;M7CךMΟٻD+M/M%2J~ޛc92\4LuH jJ3{-Jy%?UV1ٝܫ3ޗv֝%-vk ʒG-bI׿ lQbqt"+ZIV`7iMkIsZׅ;$;•tNBluJX8h= JK\ߡII5Kt{HKAI\g{!Q!M U/DO+֧ˢc#T"U+>@ڨauРwPq 2alfenޗ"7<\cEva4<9"S,**7vM8#5*hbjrR{$^ 1ٜW9>iJ!C=yn*7gYZ5eb511eb289a0d4ea784c6dd612292aed396977ad45c74c3c975463d5aed11161e8ffd9a51437a45 4473f24c6908ad0badf5e15532763e307c56bd29 9a935d177eb52a94e4456ec4f5b63c99be8e2aa3