SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 6+ |t ] Cayley_Hamilton:threads=2elapsed=16.756cpu=30.188gc=1.492factor=1.807zXZִF! (7]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@ku25*d0eYUeӍ] `FL= é 9&5 rhϧ8eѤD' .qd5*F LX̍$ɰGΞǔةf¢ktIz0{~|уՆkȤδշFh^)nc b| &.8t\%A4O. Ri ]Xtd6|WJ㑳[0a0ո(XкشM%X%%wʩ2OގIa⼝h;Zseܟ_ya[XvύNWzfS;VAo1exj5sՅCÝHl"txQk>X/B9O(: qd,f '\i8Sv{ Fq?b?؀b'GJWxnW/N&ًyB, ҧ QgYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko&eQ~:ʷ~b^$o.]"aU}WX'r"(h]by ?q3g nvhko,u5RޮWYA-\6sT.+P ( @@d_9]<_,;II7l` 4ÖW qgJՊ>1؛&g#?s܎.K|$,"VӺ(I9s:/h"-/u,;P\ wd;(U~BEbFUY<Dst/=0e|]0 gnSǽكؘW,hQbp:}ԩeFN_Ig df#B9j:; o.׸[;odeS„ JAi 0UYtθ("/W WvC%"lpX# zEj̎Вm; h6ls܄m:?0j-f_',nB]h~%#!AYXN!:`-wJӀrL KCl̀sM XԕeKNϖcչX`ħ`WSz' 秵z-/Z^0MK"aAZ;z$2Rz԰xy=^zw//*Q# 5WEڲ#k\nTU_g(,j>88.ed~0MdFt `Yՠp|}97K%6B'0Orcx{[ēTlj]7 -XXCdݲZ!>p|R^\=yFrz?|G_ A..1u5`Ss·76]K'jQ;W՘ |OS 7axaW E o2>Z0%Ca0ϯ L$ SMF HL?@=QOu (CbP +IbXy[ HZ|JwE1 cHyNϟl勹T;B|xnpWd@@+h+ sj;W#ʝhJ5!ss<9Ph0kH$:8^5[vU{QPnmy52,CͲ eGz\1FIX _ʎS.OBz8»; oޱq)T_5a̙