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  ' $ ] Myhill-Nerode:threads=2elapsed=36.108cpu=57.068gc=2.492factor=1.587zXZִF! =]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫp 0>!})CpbQ An2YmVUCSEދK Pl;Cl#ThF)quŜJFzqu/S8H^)Q&5URl$m0 mW2'ӕC e wIWA8YS*0^.۫^Զ#&u"_<6/jjU)+*LiK̝;+4eri 1b%_]XFq9~5_PٓiIA8< f%ie ' Myhill-Nerode;k$ <ꘁlgאrԦUF+8nN }UcKc1/1wu>FV[U ]m‹aI{^ۤ%<"CM,IT]5@K7x#d'/mHt !әgxEbev/]Gh,/&+mqJkJy>YB߉ A>KHįnX)7B| `݀f@4x1f[[DnXSb.yL84p3:A-H$ՓE.?%j>Q]xtGSWX'SLFKDS*b&&U #`}ofM[ϸ^K8~v>!,+BrD"mi!6Xg7b?P`X(I%h.PPns`gBɥ|R֩_4zy~ syR)ڬUUES ݱgYZ7zXZִF! ൣ]ŗXi%ή++chր&O z\p8V];& 7|>Z&*N“[y5>qXwY-qVZ0ʞv|$%4j[84%d]z,^)i\&_t";`S.I +]#w<5Ybgӓ@k Ѧ_OjA37L7ŔH/6@{}9'0*+Pϛ)@LcOwf=*⒱ѽO, Ȋn(!X\Sjϯɐqj"GG]9}{V4!Lt$<6Eza%avhXXObU =sC =cj$:zwsFr44kk|P3$nI/Ayx@PGpN~d<_\w]NNd-$̸[ѺWNL$j~еJ"=D ;j&ٗ4&%?Jx0.9P'1M3w2B4kֹgLTQkZvJˣ}䔞c#oA=%`xWфX}ֽ[X[m!n/ݤ8673H9DLB h +Ab2> Ó6M1t(ss"c&BePySK&-z?j-.$^OЈ"d25VyV'n=:AYhSy2o!bv*mn K7Gr@wƚ_WJ`M$Pt*|H\ CzkA|s%?u Qg(KVww}mV*$kwp'^wprNj+:zvnUM]yj Z1m7€7͖<77M+.}I-h.Jm=Qܝh5mELr]Iڧ?aRUgځVX>`+'Rf{y +,`َzM#κl Lpw[>yE3o}6ѽi3;bV/{2 vUT~^/Cz]Xmn}:TȥM qVOZ:kljb|TN6`%^ ԙC{m wl2|f6Lo|qvsrNxYLm*egYZ842717c7640c2289d67552e67000966a7ba9183a00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c