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   4\ ]/ TLA:threads=2elapsed=18.388cpu=32.688gc=1.032factor=1.787zXZִF! ]ŗXf1-/6vR[j K<ԏStpl`n?GS'GʍaѠJt,﷧* ^؊&+M#Pyv%~1EuƓY &`uyTKٕ^n嚗Ww7qCFVu64>psUElc9%=GAqÕi}͔>5iQ BLi"1.*,zB5TP{6W6]½N;ff .E;t7 VB#~HlE^: -8"~vNq*3osb^D-'Ν<;{s *dЁ*h5ZKK)K}\fs51cmyaUw6pPϜhFkkJO9$"0inHu-<hlCc6|ꨉ|@ ~qO%gwWN}a@9hjpL.7ݥ<-'Ю~j u!ogaS4`hexV8|dbɴq L h 8u~.Ә'TBī^ w^UbG&"ǢX40ev^V(&(IietdqӃ@ 0Ua`p*IOtʳƵlJ$u֒oK4@[x*AW9s-]""źG[wdHcÜdǵʶ-Sjc8ί4CҸP'@k%(0afJ/ϖY&r&̇\TcWODJmygoHӨ,l n)!]]/mNPoLX,aP{!z▫͌=9 ,7q;2NZX̲5؆vzК°j6!_A)qym!<vtSN{ِέ-gIJ=vs$3(Uv٥f8»>wthPECM.uMD%Xޠwy*z:r ~EV@rmtS-n!)`"-  tA:M*D*xfOFjE>8 %a-%Pv; xϿTx}O д5=1WiyO'3kvcNAUhƫtĘa@>V1(?vN,UbFΫ58qLE{ie>ntg'?Ivo=P=I>h4!SzG7l䂆"Hħ&əu-_{ZU塗0 V3V $ٗ5pM0}%֮\Lvq3/0HYBK$d(̽.٠Ok>(0uHIZ̚gf) 쯱gYZ813905e406e596fe9217687fde3b962592ac3035f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0  TLA