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 ""[ < s/]HOL-Word:threads=6elapsed=8.832cpu=37.996gc=1.276factor=4.307zXZִF! ]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6wO%*hpȍ> )lUAY?`3_ g^d0lEB_ŢWe⇭/EtA.x ZE3`VLkd;iQ,lfe_M3L![;X=qY`..q?Κh"lc~h=*29y[puFМ-B棖`y^iR8 uAїƖ;j~moȮ=עo|M5ϸuTk4%>R٘>IKfЗKSb!,TgɆ_=3/7z5'TnT@1ba 淃MϰbWXyh>@0l!zdL(l(\*G0͚ki '#"}XFAg~otqwb4Gַ5 =~2;^OoWsKjB.*1cE;")T/6jfh5_R}*4SMWRr.:Pqɚ%8ׁgYZ7zXZִF! *}]ŗXi%6#DG+S99?S dQkQ3oױkY %D$Yj&^y0㎽/](< K6+)ܢe'fdWdk頻t0^U:0O(젳8Y# XU}_{ʺg%A5|FjQc%5Y){[fuĈi<kMsݥWN6b^+cYDXtgGKU};\~H6-:/Ӝ'm܏$Yk${Uyߗuc=xf'/UqvS͈bl/}=#F\\_ch~7 rAG #Δnh *ʥ` wƋ`P v\^ԅhSP[z0\GB zfE}#=Z^w)VbCi6u{ApS`3Ln  RӈJZq24AeNrJ&;G~ȽlF'68u"`1( /';z[Kݩ0߅%-%(˙jZHw#2Jm@ۓ`XS(vt]ަ'hNa`IƔ7n2@[3b6H| 1Wp: [Ty:eH[L%*o2dEפ$&.EcF9-Y(o͌2| qivi~,&);ā0v1jkd͏((=c&%F{8 `q-$+7iѰ>j^1R"s:ŘP{yD& RoV'MH8M`'t TgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e3226adc8c0daae6d8019f98cedea110fa9a4438c 87ed41faf4f94dc434cedca0383ca71f22c5ddf5703641ff35802ff25dc278aaf45c94f19a254484   HOL-Word