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 //B l< S IOA-NTP:threads=2elapsed=8.537cpu=15.668gc=0.604factor=1.847zXZִF! 6m]ŗXf1-qN50^ Wy>j@(v܆eػJFk(F1>S"/wkKNP /a6pw7qq*lmIoݱꊂ_+jojOҲM ;C|ڂA^m"V$n эyV3V9甲gn{.Y}$bZ< >O[\g q4IC#2Wnz[ aV'Wޝ/)sz_a%ԬAcAPbɩI*gz!Ҹ>5(,^YL<{WNA.VӒ":-`>B˙cZRxL+Rqd(n6a.F@22x*bDrOR2dpbI!eM FWgNsPrsAP}2P)^G H}+Xޓ]X~ to8рƒs j`9p1CG)D._Y'1KKuL%:|f9mֱǺbF   IOA-NTP7EWV!@H~ß~2pyMD&ӓ nUڗ%QO⍍k=Jo?݋^F1$!{IPkK8!.֦4oCK, %Uu|ЕBӂ V%5~MI׺.ITN{Y z"FV⽮eݞERpEagkN5p}@-n:n!&iWsvM֎"} je;fiGj2zg|菚aS&l [ nIdjZ1VoB ̝ HU3,3OoAHXO:a%0^Bx.tnqeDp*&'='Y$tG aT!ZVu| YU/\VS[ V յ6;|C9i')Z =@V !iݫH\ju/ JxӴHAɖYdX{ԫn^Jwv SO+ @=q3jY;)Džⷔ+C).G|?qNZ>"Cg_ee ؝[ֻ Ѥꯞ=o1QڼT$eŶ"KiTbUUP׻n.}IΛpm.z:`pB밦5`59#gJ*K@rNY|R^[Ātt]UMP'YL!6O gYZ080a4238586829e4e8f3f7958b26dafa6e625dd2 31aa2314c60bf1df8a389d106629135074489fbc 34eb43422c09b403e5d5bb215a18af873d1882c3 4cd2445493953f5e1f43fb04190777558f683d60 6e0981caccf92a743bb9e20c77973ccc858a4b05 8c9e106d9465bbcb1f87caaa742c132dc403de58 9d986d6e1195b470db7007792eef960414eb2d33 c68deed042bde63e5190737f685c33ed8c0450fc de04442d9a89a18b013fb327c8df684f4bf4358f ed1ea0caea47d5f1ac2cd6d02c7c6eab9dbaa0d0 f3e5480bef8e7e52fcca915fef651be33104b5e60dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386 2d0e3f70468dce97a0ad58472904bfc293db1155