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 <9 4$ ]/ PSemigroupsConvolution:threads=2elapsed=23.824cpu=45.292gc=1.844factor=1.907zXZִF! )]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2q#qiv!"qS܈$=AT6~@-Ж{<D4jaGp6T c<џ!HL(ǧ#C,rÆ>2R6 ړes\'ud:8JҁF;Un8)dGGi^wI}OJثAW͚,?W]'o˜gxΰB#4S U0լpCAGcHNK@XD / PN4[?dwf0mo2K#=*! {ЊAaqK|}i<ׄpo2Ż' KZDSOl Ap= [=/pNZu kxP;Lm8ZEU:`==dgC|bTSR.ʀ@ tGCFαx0>NyXWfW[X ?~|WR\ĺT,%CS0kƃǞpfܚ)@՜҃qNq{a6&Q= @[Z~"¤"ui/ h!VQz]wj38RkP1F/j3ԁGĔ?w04П 5 |Z9@jjuH"Ux;J47Sv gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PU[ VP.דm ַh |fݟ-Tjf vo[ _FO,uH!GRDl?mm(,~" ~pMҺ]g{7b|9 ݿ5 =NbnuG.C$т"ւ8հ # ],Q'JQvaKQ(-tHwo&yLK z R=ɷ휺F-#&p5K+Ed,m8T0r(2fq5)+ q#\˽+n+-@\PTu0N*MWd>mŃ*\{9 o'|O81 ;º -}F٧qֈ][ZvJ+^P'eךY#Ǝ`9Z՜ /im9y' #g?>p@VE']X>pw41üB?/АN]ɺEx$(":vtɱNK$9 m\CB*w/1j{lzLfG"1*2BtV?u愐MZ̞2S2B? H$(UBK#;IxcnG?XPjٶnpMa=wvA[x;W4v ;5<_g "Fq|jד%o70'MȌsb>rN!tܜ,#"n8K]HV3a˶ Ts粢b;R90c'8) F ~Q͢J⚽6p"#{XE )!cgYZ4aee3a08b82029c6d97f6516225f93e32a1438c0e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 9 PSemigroupsConvolution