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 "/ T$ / Dict_Construction:threads=2elapsed=33.484cpu=48.248gc=3.808factor=1.447zXZִF! d]ŗXf1-/6vRZ*_vs(}L)W뼒PD?hp<L\+IS}nK.(((xfE쨸.rvձWMJ)U ==X:~>}ڐ>dmhXFea/zB)n5? DZ6- 11s(Jf_J`?5gNƒsy r?BTvbznk-\WÁ<ϋy$}jLbDq\%bHi'vXBuйSk=Ms\`c~fO~Sہ[4Evf2?ô\7#V gYZ7zXZִF! g]ŗXi%6$**O2(%&sd]EN8w:/[JF'.5<Ս09a7W,Cۣ5zڨ\ze=)'*;ʌ x8l؍V"䫾M*,`;q bPZ|hRNDi1^IX <&7b*6+05rƭu%)肋4 70OH\mϒ;]'RFNi\BٓQC2D7>/?r\O7?čcd#b*ٿ8sukKz[-F2|NB`Bae*:b^ߩS+ԋpy*)˻ISԂ /3VEb5 !YzMg#iue'ُa&:"t*>ֶd2.[ 3Еmg*DD, n6ݏvx*6d[=`p TurP2k\f{SPE=P D ;1;7 u~9`YT$fErƿ|x738UWw֖'V2O_;T{ TbHk ʮ߁SùbX9:JWr\^Aа67"DH ZӹXR҄XȺ7o#v.$pF{vh3e{8E jdYk^Y g+Z5Xv{7(Dw2cr.QGC%ČUF ]l^!C <&7ьUDA":@yS۳7fѻbrZĔ*"`[ lms${'Pfc4(3X0Ǭ7OQ6IN̔I &vwGRw9W!6:]8PA$ B)1ӏ"!?e4e]&!ivq߄́3E^&féGF: XA,}'[1L \޳CcT|sE40e 3Y9ii `w×ղm {YLp"_;ֻ9Ar*rn-C$$^U8Yy5!d}ttV\܋\>7paZBc&,qLы> ]%CiD,OֹϵIafJ´&\3oL[.nbR1(>Zϫę LV$y ŀiODaM>[k^`bE*D&wMLvMě7S@I1x]cI0Ϝ2H#xbCj l>Q\`/ĸK:Q$0f1(%S2Z)_ZP烻bK[}ecD@,Joݽ%;׺Ǟ0}dG!Nko6O{2{wPQX㤢G֜E9,X^)95Fb.d 4N;r QÂ{*aT1D8Kkas2=nȓ6>DŽV_