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  : <\ ]/]ZF-Induct:threads=6elapsed=3.556cpu=13.348gc=0.552factor=3.757zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N8@V,Q"l0I,e*K :>j?\XȆburIiyjoX]Px5A#dJq/H!Qlִ씞 tlSy/=HV7 #Y˗'G^x ݆H_&ڬqv ޏ vgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە~ 7EBI;DcFMk(kCl^B suUq|G$ bUgVY=D9,{$9]__ IM b>+҉M`P!nYM_&/6SZ[bU ş\)fnMXho>]q:y痉`*`ȧ{[k\=ίіJ!=U8O:KD(sXɱgYZ7zXZִF! e]ŗXi%>]sj^V wU m19{s0Jse iaz/$ [8owebW_`; 졒A1Nޭc 8XvSuڽM19nU>$FD8xpAǕLhW穀2ܭhma2-2⤩ƈ֜oLeo-#p3~jwPQ iC. '1Q5Tuts ?oZkG9uc=y] E1q qcG$ ,*yaMə,CԵwko:ZG8[s%McK$bKME? T*jAPu@3ߟf 3FzrⶼDٍlzh$ &AxhNgv?W#3C[13=sVPvmKz=4`Wg6vcxQ+sAgYZ2adda1416ef820d83883556bb2d39adcd4550343f84da1efeb09fd4a6dddd2573e5e78b0df151cfa ffd5ee0445fcdeeaffc2878523790abef411fe966e165ddc28e8a22ebaa9d72d3f24d14e62a1bbf7   ZF-Induct