SQLite format 3@ . BBh77otableisabelle_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 f1 , ]S]Nat-Interval-Logic:threads=2elapsed=39.787cpu=54.308gc=1.448factor=1.367zXZִF! (]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_<=QJ Dz5ʚkK#BrZs-$ꯣbYj ?}ƨPe̼ӖXtAtdY\Bo)\ {}o\6:f cY F^<E!pSbE`f$ p#Ky䃏"Cߴk/&(Tƺ$6Is݆Z AO0Ϟh~U\rk8=^I|vZAg[w7vc.:B*ӡa0z4 AHQ|{\pW"-ܐ2BK^%+uќ`@i ~t!auH&.xbN5T26)ſ`ejh p|~`Ko .xWBε_1Z ~"uWJϲTL%Y۶|%RckNtBqdBZEp5܁~ʫ\oJ|sׅzPxN}f)lOyLG)ߛHY4ǭJ]{Rg8 M`=irӂ2vPZiW<ű aӗ)jG{;[-! YU#z?cŁʆ+?y, `Z-ɘFkx~|g|p*Z VuIӍQgՊGH6%whBpYk?ps"QIq^4)2CUu8 /Ȧ`d1qObrYijR)؅OCx+<Ì#am[<x`:ӋGd6b{xK)x };~{xy_Bz$?s,pitg&_Sp"rӑ?rs:zOd4\+v\@@O4ӫEC"|*y{qt[ Zj,WtRc;l#Lao;Q90RG?orMɧiXv뚕MXA*b|ah $<ҖaPD Ej+LG@ydae.^5w_ӯ}zcSpp|M. uڨrK_+,{)qCy sV&L;gK&ej"%X@Z<>KvġTٷ g&dcmCNHt9\qtE[^ *WB"Dطܕr(X[=3S  `ޔGSͷf &e dpxDyA~DAzY54G6Is S\av3)˷Iyrd_owLZꥪ[s2cPod,X a@773, (>ɶ~_L4QZEz*DavO<:kiR&GՔc?2 iHhʞrmn t$A.-^XpTEn, ų؍9ymT@_C^:/| \5LmgZqѷGmTW/p5zFۺ6ѵMSnf'@BG eJGPe?9ΨPIŔ'1R uv2{ n>lP)FöJ*hІЄh /ޕ&蓺\kCzgeYdnZ`+ruyt_vTSx͡IiAVrj/tċmH"P91Kf$g`<<Ysl)K\^zRl%!DU._bonb}GC&sᕍ89 9Du|?( X)&3މP[LCI?ʟ'ttwU0]sù4yx*:ӧiBW_ÃvX<<&ȰI6t7ԯi6:>JRL4>0|җ:ר]R6QDTyփu2 >b:n5_^a:oW_' ۸t 䌁EKL:PƦ8ʖhI-¬k䌳̽