SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 T9 |,d ]/ PSemigroupsConvolution:threads=4elapsed=19.397cpu=48.876gc=1.960factor=2.527zXZִF! )]ŗXf[&;yV2}wӨ]wk{)\'i{އk0G_N+s}!D]VX$v=u "{郌`O8 ։I sfk?B&d")ӉDNY?dn ʱFI? F f"8fFm-(._ފd!CZo:Ab71 4Xӣs|9uvm(`[DW4k ,"Nh zqW#"~f5~( R1|:>8-^ s ;K2s[l&=㐜sH'%u6x_gtٜ9C|%)T>*lx9vN_GX Ca~zSB=%HcyQ{vhhAS.R\n ?MUną =Ed99.;F9xg%&a4WE⒋T$q66o? (gYm,\Ό:P2mrodJ{03w0egy 9{[; 68>SIgYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PU52@9*-xr2Q..s#XU?|%6BxokcQ'dCMh9AEZ2ng>1i8lEϐ7,vV;zj@yX{Tn= mʐ-MYO"j,ؾ=|@gYZ7zXZִF! q;)]ŗXi%B4ƳǸ0Mؿ@&>\_fdXA4L78!ܫE5{fx2' }~r-9LeamN6 D CW{%+Yk2#Rs\oD-ȫ펖:w1rb-a-PL$Wާ$UYBG)J˱, 0o4Owc7 ~Gm⭄S]V2V_ cA^Ys՟}\Af-WFm*\=.9=(/gkee,x}lyvBbOU'! 3p,j,!|~#N "(haGe7}7Bv"c 8 ^*n}Ϫ8j# 㝈͌^a{k!At:w6 NET*k H 4t4ZuaŊdd&>@ؐI_~U鶀sn:a -!ɚ$ڇW"mh k9NVlK}]_%Ѕ`GugXڬ!r͐Cip/T@JOiJM2}6>E]]F#ǨJ8KM 8R{vnPZ?8۾sG>t/RYʸW/\$$_Yɂluyvc,}wS! I9YszI!/S]I*1