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 X/ D wS Old_Datatype_Show:threads=2elapsed=11.076cpu=12.548gc=0.448factor=1.137zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$=fJ`ЯD. Ă kXqk۰* @,`V /6N*DvsPDG,+Hȁ%β\=_R&IT8"͞\?%V`x9e_ [1gq/ԛhI?Âg1hȾc55ÚauV nǏtK)WJ`g+g7˘+7 D2!vYޘNi€j";.}c&C~}<h{DtSL?Df5YLBx{-j φJI86:}=h[AVB[ڛaqHګ- vo\n'AXUX f*,ds'|VgYZ7zXZִF! 5[]ŗXi%SKEnM}7WR>09 DrbJK9h6^Z2c!b]= _qu֠7d^+tjᛟt{=x^$4;V-ߜ zt{$sڗd6݌LЌ8d$ilS>= jXCϛ%QCwDK&)ktu_DTb[ wvbUņ"׾ћL?LB&'nb / Old_Datatype_ShowJ50C֜'wt5RL M< T{pnw~@b(%FVeBe/XzKʑT"pѦ׷ǤLUɺI hz25>w2X# ?:@.r`A9qpSػ5r&]geΙZ%#i (^}~<`ڡYǒt\!suq1 ݠ1?T|$+|#g= BF\Η>=G8N7P3/%h۱b ɏ]͓ЭF4~4EKE 런M-<hy bIS*"Ph!Wj5AYJ eZ%ߍXfV]1|mB^u#sIz 9o*m^' b7/84!1D0gpR5 OkG~bI |IkO ±gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 4b3ea052ed1f1c595b62c0c88d9ee2ee64e9c2a8