SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info oA , /]Typeclass_Hierarchy_Basics:threads=2elapsed=9.188cpu=17.012gc=0.692factor=1.857zXZִF! W:M]ŗXf1-q恈͐7ӺV7V?A.k%z mo\Ցs=eKƔD)Y ۴:x5#'s#Qgv$˚ȌF.(O4ẖ*998,P~V-c~dnT6S[`ASXUmgZEU<:( p@i]vDoK)sl4&2(>"θzF?ϓ x Wu0f2mt]Ų̰:`4P|sǰ^)ɟj<|.n| ٬ɹѾ"p> VY`u m;WY A Typeclass_Hierarchy_BasicsS/q*gQ/$~[Ne6!}2.{noDa]\9wyU6>[@pE%forN|yRDY_yr\]A>kl, %be =_&sSø;7Ork%9 B:a3ȡ.<33f۞Mm2/w &OF͝&8<& 61r=p\A);ђKŐ9@݅' M<&0}x lH=WqڨvUAS;Pcd(l$;N o{"5Nש# 4fxskNٮ{P$0. iEi7RY'zPRamUߔϾ&I~:8J2PAeӹN`@*2%mbT/[e 6Ĩ}6C)U EyE IѦm =WkЈ&nBfNN;)fc#HR=-X\Y@DA0#xu4GRVg <(xo@|cwg©Y}' m9o[טxnݤ1FvRv-7AkS$ɧr0Zho];X FӸQA˚ةO|u^}!×^Ζ4uMT TE2|j>!]k`fؙ^p)뛤S< H]?6MvN x̑+&?wcswD<85ZY4}7Jךldu^thW8H:_iEbj(^9/ʼ xsik)|s؍)@VjZ? 3 1ޝLaAd*45-iŖ-.T lGNGEgO51r.{e6*ZkxDݩ%Z"1A,x,2&">YFWD}!7':U(pS`pyvY4O~@qp/<}ډ%p=Kzr7z=CZ!07FMgYZ7zXZִF! ,~z]ŗXi%BZ:qڳ+gj {30= pwUbn/֕F# JhyVȖjkPr_A< Gzx :utXFlm0Z @(6pl@|#(9jҒm/i׏{ %f>2D=}'0WL[q?fY41鎌7*YGpO23 :y];.P|*8շwrǞz orK] F٬ČuL?H.-5/, -]1# J㯘pC0LaItaAB79՞^y$ Y9g|Z3Q:ZsZ.+?1ȥ ڕU9<!Z^6 xjZ#ȯbWn\]pKkʤ>|E|tj9=)=8T)i-6+QU%Sh(=eC =ΐ91VN7R/P%t9 ~:. YQ)F153tqZXi҄g`SowўidAÆo?C9?IXjgYZ0024c75b9c49bf114f7dd95cfc1cb2ffde45fe68 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 923347dea834937d0402a03359cf28ce8b41080b a6d881014016ac510413e96c94577bf126ea335f caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bb0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903cec7444089feb33d5ad220573b532b66a8c7c3a8