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 GG6/ \d m/ FeatherweightJava:threads=2elapsed=12.259cpu=22.628gc=0.732factor=1.857zXZִF! I]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hooI0ȥv"qMY1cIe[pf  sàn3=[\6)ژH)o+W k4D\^^l""5}\Z.;K&G3VU~Av6.t)G$wN{ErD:A2$ߪh+=Lxm 1xCkkK?agیmӖ_]W$6~?1Ww |P9A - \70%' R-REL׫Fٹe IVr;UHɤYt$sSMCI 3n-Tk̻-R[[Xm9MqjR>NaVU{u*yp |8/In~lD#,P#T4qar⛘<{4 n:,9ai`.ܑ5,3b11)&_GKu"0=:aOewPHr,V5 j eWQs`m!"+=h苲qR?pw)By7wX<'"3?{>rۿ0 u౩N=CO ,G?Xn*rCsKH}} i=uMհǎxtYPN]:I5XMmiP67#swS{0v+X,0UtTmrSOl\(O6Z=ޟӈw - Rp^`sZD2&(ͣGq UC+.Hd;,2 QQy䠉NJ//C걜cI | ez IN`@k;:8TɰxhΝbcWdra9 M1,OS3|HQCdC4W.RBڜȢI^$pK9*$y@tz2d 'gYZ7zXZִF! C,]ŗXi%s qXIeLZKK졸04]fQvE6z Kƽ 㯩wz9P *a ;N@0~oj7]jaA8N gkW#̒X={H%*ܹL~s+9~]ށQTNLf+)&S*:נhu72Ƭ3+||u}ШE8UIZ z֦: 5M㷡 RFҹ:^9悢"k= R Ԙm: 8`ޕ|N?8(L>R[4mY1ZAEy3jxXL.ם/΍þ&NJHf+H-h;$/m*7̬u']$ "iDR|``^:d8g0s r%8^͌P5HT%)(n'Wr MCs>4t;%J4\./GHn7r\;ïEjL%#LF彰MW \|Cu)BE;e]lչ/hBK1ulanzGpɀ #e甗?;zh6u#Hn #5;8g62!.xJ0dQ7?!Öӑr-=,7f \^OQÅSi RAgscs6)GW>HB˓ڹ*0&ZWs'V='xD.EW 9bb5KԿ8KyU5c)г~lPWΖAm4&RKTt ao:vVrF݌!EK~I&-+,;=8S!Q7/=7IYh L!}T=  rx><~N+vmK|{f 5D_)v_ T=}/2bPn-HISՏ5E9Zo5EOl}_fWV9VdױgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 / FeatherweightJava