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 )   Landau_Symbols:threads=2elapsed=14.252cpu=27.052gc=1.364factor=1.907zXZִF! jC]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSf|3`0m]it&fT_V+/:XwG99mM7V-:E*R`>4fƫqBd郲W16L;#0*"۫%)]=x~+1%3bf%5XvZBN3罏nva"m+YC*ĪROVk w@OCӡR3hm0ye=gN A@1],6 qϓЀ u;rKmɱ?w M0-yQǺ̉TS5bbk@Pr`8L#VB0e\ H}(!ƯRo >f18̋]}\>I@տ@ ?SQj?>X; JHp&'uCaI{HJ.d^ط [[ʂ!{5&?;biϑMdg,"P gYZ7zXZִF! O]ŗXi%6˻h6`sېVY&yñ)D,UnMW.9]4V~.9MmLߎ5A-˓+f4v .~RI.tR Dzޭ~!#0P2x:n}E?5ggVyb]5J·byg|s m3lQ0.Y@~&A- 'R,o?-EVwt͋;&(Oo<1raMyw_Lڗ}J0ExGz * sZoc Й'dTUv5m;C$)ZГr5Mh@ h$!ͻ.c&T潃B)j*ɇ <0?'/N R^ 1>AEQrT\ʡ1]S9љԉ%;M,߯+ȝQuÐj._!`|.-A3Q`.zEOu"kP^K@'N:/`/B j#_}Z9^(Axlh:~||wCkY~ 8%}{M==˶$׼ M<ⴲ1Υ(ŷΨ45$WoFv =?sMz:a!zu']e*{_4ܿTk+Kw'GxSy#, MA)y)ƕz'I`|ɟ?`B Ī2c ߌ&$WntaPM5U,e O. s^ɨ"jԺQ B~KF]4:C'H\AyT"gkg8R=`)Sc֌h׋i< `DnLNj,GP,CI<+M3X}H9WжjՊ֙~s0Y2 Rd<k6^Jx_Q*Dbda\HIV5_x=-;)^p:_EK2 gYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 92aaa605956acae755205308c07222f15b696cc4 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec4554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 ) Landau_Symbols