SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ,,T ]/ PSemigroupsConvolution:threads=4elapsed=21.702cpu=52.276gc=1.656factor=2.417zXZִF! ']ŗXf[&;yV2}yG\V s])Zjz].\eu[`unh Ix#:.Q@v7Ѳ> ;?%{ oWpLoJhV3 GN'=a& '9k-=͛&!BuM[0tS=šL杒DA4C:>ځdPn0Dtj{IoWtHv c`opS5Ə3~2=`<̹*N_Q!6AԦW٧B+q<5|7pbvQiRqoQ'ѡOBXgYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P,K)ZzNT͚t%h< _V ]g{bƹ.~T3_Uf͕(Zm{ݚmf_ϩNлrөOƧh']X}e@/u6gYZ7zXZִF! #]ŗXi%L 0 ruEFU?_bш#:OacO1''#!-">D>z 3@4ޚ.z(>g_57xGSkL9AzyIF5Àfݴ y12DKAZi \T 6P *3GsG̙- #7%=PUC6L ! Gh2Q= ʾ4+hPS&X.Qhi]ホGHs8ɒ:@ 6D[ucOv@뉐D!-7I?oiS ،ry~#)ޅUA9mD?ݐ7[7DQw>S; -KX;vnH;G`yEʘ)#ې4)iWJRZ0.Zq,\ps1{QXgs7!t2'!,lѳ}8g@ҳ&;*g<|8$TbSŘnlo44̓q,*;T-7$}6v̡ `PEՀF]Y  M/'LZ ' tDJXA;SZsW-d0 }^#ݤiBuqmWHWd_F>Xp>)ƒkRA FGPAM1|U veyg,0joeXfpÑuRGZD5w׈P XDFtJ7qr?Cm?^][E#-bϐmht`/h#$Ye1<}rNv$ O4 ?Uv"ddjq^>A Jc *c5~d}[\&"ڏ6oG2pII=}#wh|(+s!R~_rEXg/x|&0uoRx2r)r eeѹȠeh0ժx_e֣?X+u,l2ġφ~+OK\qe^z@)8B5Η=l& _ubŽxI8gYZe19281e7e1045a982c18f753d6899bd41b6522dfd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 9 PSemigroupsConvolution