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 v) D  Landau_Symbols:threads=2elapsed=14.204cpu=26.972gc=1.440factor=1.907zXZִF! L?]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1KqF'ڴṕ7⺣9trF m 7_mYU\JNVA uaB>(w!+t{y Z)#ٴ2Z]4nE^T,aC75QuC=wLjQ+ndZ &mwA8/L6F#,Oh>uMBRnޘmUcOLw 8Sʧk֠&# HU&ь& FgYZ7zXZִF! O]ŗXi%6uU$epXk۠ZFS&ڲ^N! pLQs{$-Œ9 TR$c4:#2a un{z-"U#9|jp’J-3lpi:DQ+G]'}}rYĄyJ*Lִ\9U` y>8;k~AYU{..`Ko?e +jcꔴ4Z/d-'$ ꕮ/># N:aK9EQRO͉hSo?jDjOɹS(xpQWϾ? j5!}hF>[j׺$Qsk&91Á%~S#}wC1qBHa@E?"Se}ƫ%d}z̎\zL Ӑrm$ƕ˻1̌֯PpBʄR|QIOʑB"1|HN. UߜGIhx"UP('J:.72#ׂ/*Q{G-Qnj{= +_4m[W3r2@ R!ىSHN 59׵L?IJϼ={~dƯMO,x_Þy$X<8TEGc?зAQl?Pud{Tv<3 ޴kIg ? ilIc׀X۹\amUrf?NxGrR< 明?0m?5}[9t{IPXQla?6S\-&09eY5o#~X5*nt67P`Jޮ.ۣ,ysu/~ Y8w᠒pP5xg0,I{q:YbQ6;$S3iobV?.h )sUŔrvYih1PJokRO Ll`PxcC#mZGWL;K:vnt}TkO ޻igYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 92aaa605956acae755205308c07222f15b696cc4 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec4e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b ) Landau_Symbols