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 3- << ] HOL-SET_Protocol:threads=6elapsed=20.962cpu=91.528gc=2.356factor=4.377zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaб1+2T8>IrRwT"jN-w[@GBfQ 4n5o֋c ] ܖ[q>R1^@nj6W$𞏪\i")<{tsd'F/?wDB%uk['N3X!#X\&i$֑)H,ByXPE ѳ6p#ub>`m`XO218,u̵~(؉יSx <`ȧ$ ;.}6I ulE+Y _ފȱEw:EEg%R@\Uξu 6,gYZ7zXZִF! e]ŗXi%AY_s܇|\ ܰ '!Uz/TwꠧyȑYG)rDJG ΍7gՕƫ9UZ:}PA&N$gmy/(+bWW ;޵ f5:f"@lCNVDd7(KJTB}3^sRŞwl"tkv|&'55wklQn:M]_V<,Vr*vsX5 q< ?5\~z؄WzMuPM YSg> b'G9LdY~H(Z|;jMM%B96J@]mbpL%HY#ɗ jrGNrSٹpp^i dCʸoF,Q):zuJ by>Z3?, \jUlːS/?O,D-D:ZXcs޵2+r@ jxf0Z[XپK&Y *GzA[&FK|R%W!k?čb2!&bω?O+Nlk-R+>碨N'$Lʺ,W͞Py{* F{H>.l> UHZD>U_"+{1k W n lnv8(_9"oqLrFQ/%G~Jl Zp~'F:`%ލPrX- /HH>bb=Lvvi.f!0joC\xTVq|1̛2qy,Lعs0umGKtmEtAd~Dں@XhhPVk4ߙYxuV4 tJIvOsN7ouh1.Ryz;||(t>j oy§RՔ5-ڬ&^J깶ٗ^j|3EWܒlz9U?@3{ዘ& B8st2Q\Cw7tS?F5!@rDr2|6F*3ܫ:[0Bu T m7֗HIK I{6ȱgYZa93a85d1c9266c81315eb49277f7a30528f4fc01cc4f324134101a29125fabe50ef51b536e28ea56 047d2e97f704b6e2b320b2d6445d72a0e1374246 021d9f5287dd73a852a03bc175301faa0364411c - HOL-SET_Protocol